🔗 Who cites «Formal Mathematical Reasoning: A New Frontier in AI»

46 papers of our library cite it (of the 149,439 whose bibliographies we read) · 26 with a page here, the most cited first · ← back to «Formal Mathematical Reasoning: A New Frontier in AI»

1. AlphaEvolve: A coding agent for scientific and algorithmic discoveryarXiv:2506.13131Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.2025 · 202 citations
2. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
3. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
4. BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citations
5. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
6. A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic SystemsarXiv:2504.09037Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.2025 · 39 citations
7. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
8. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
9. Hilbert: Recursively Building Formal Proofs with Informal ReasoningarXiv:2509.22819Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.2025 · 26 citations
10. MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
11. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
12. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
13. Mathematical exploration and discovery at scalearXiv:2511.02864Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.2025 · 16 citations
14. Rewarding the Unlikely: Lifting GRPO Beyond Distribution SharpeningConference on Empirical Methods in Natural Language Processing (EMNLP)Andre Wang He, Daniel Fried, Sean Welleck2025 · 15 citations
15. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen2025 · 14 citations
16. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
17. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
18. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
19. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
20. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
21. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.2025 · 9 citations
22. Reviving DSP for Advanced Theorem Proving in the Era of Reasoning ModelsConference on Neural Information Processing Systems (NeurIPS)Chenrui Cao, Liangcheng Song, Zenan Li, et al.2025 · 7 citations
23. Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations
24. Autoformalizer with Tool FeedbackarXiv:2510.06857Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye2025 · 6 citations
25. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
26. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026

20 more papers of our library cite it; they have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/cited-by/