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

v1v2v3v4 (latest)

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

24 June 2025

Akiyoshi Sannai

ArXiv (abs)PDF HTML Github

Papers citing "Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs"

7 / 7 papers shown

Title
Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics Marco Del Tredici Jacob McCarran Benjamin Breen Javier Aspuru Mijares Weichen Winston Yin Jacob M. Taylor Frank Koppens Dirk Englund LRM 24 0 0 14 Oct 2025
ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization Rafael Cabral Tuan Manh Do Xuejun Yu Wai Ming Tai Zijin Feng Xin Shen 48 0 0 13 Oct 2025
Typed Chain-of-Thought: A Curry-Howard Framework for Verifying LLM Reasoning Elija Perrier LRM 23 0 0 01 Oct 2025
Hilbert: Recursively Building Formal Proofs with Informal Reasoning Sumanth Varambally Thomas Voice Yanchao Sun Zhifeng Chen Rose Yu Ke Ye AIMat ReLM LRM 68 3 0 26 Sep 2025
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers Ran Xin Zeyu Zheng Yanchen Nie Kun Yuan Xia Xiao OffRL LRM 61 1 0 08 Sep 2025
Physics Supernova: AI Agent Matches Elite Gold Medalists at IPhO 2025 Jiahao Qiu Jingzhe Shi Xinzhe Juan Zelin Zhao Jiayi Geng Shilong Liu Hongru Wang Sanfeng Wu Mengdi Wang 40 4 0 01 Sep 2025
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction Yong Lin Shange Tang Bohan Lyu Ziran Yang Jui-Hui Chung ... Hongzhou Lin Yejin Choi Danqi Chen Sanjeev Arora Chi Jin MoE LRM 82 27 0 05 Aug 2025