Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs

Kaito Baba, Chaoran Liu, Shuhei Kurita +1

We present Prover Agent, a novel AI agent for automated theorem proving that integrates large language models (LLMs) with a formal proof assistant, Lean. Prover Agent coordinates a…