🔗 Who cites «A Survey on Deep Learning for Theorem Proving»

38 papers of our library cite it (of the 149,439 whose bibliographies we read) · 20 with a page here, the most cited first · ← back to «A Survey on Deep Learning for Theorem Proving»

1. PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical CompetitionConference on Neural Information Processing Systems (NeurIPS)George Tsoukalas, Jasper Lee, John Jennings, et al.2024 · 93 citations
2. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
3. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
4. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
5. AutoVerus: Automated Proof Generation for Rust CodeProceedings of the ACM on Programming LanguagesChenyuan Yang, Xuheng Li, Md Rakib Hossain Misu, et al.2024 · 28 citations
6. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
7. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
8. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
9. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
10. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
11. DafnyBench: A Benchmark for Formal Software VerificationarXiv:2406.08467Chloe Loughridge, Qinyi Sun, Seth Ahrenbach, et al.2024 · 15 citations
12. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
13. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
14. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
15. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
16. 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
17. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
18. 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
19. ImProver: Agent-Based Automated Proof OptimizationarXiv:2410.04753Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.2024 · 5 citations
20. A Survey of Deep Learning for Geometry Problem SolvingAnnual Meeting of the Association for Computational Linguistics (ACL)Jianzhe Ma, Wenxuan Wang, Qin Jin2026 · 1 citation

18 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/li-2024-survey-deep-learning-theorem-proving/cited-by/