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

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 57 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 36 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