Prompt-only theorem proving with adversarial LLM agents

Read more here: External Link