--- title: "Who cites An In-Context Learning Agent for — 43 citing papers" description: "43 papers of the Elamur Research library cite «An In-Context Learning Agent for Formal Theorem-Proving», found in their bibliographies; the…" canonical: "https://research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [An In-Context Learning Agent for Formal…](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/) / cited by # Who cites «An In-Context Learning Agent for Formal Theorem-Proving» 43 papers of our library cite it (of the 149,439 whose bibliographies we read) · 23 with a page here, the most cited first · [← back to «An In-Context Learning Agent for Formal Theorem-Proving»](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/) 1. **[SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering](https://md.research.elamur.ai/free/en/papers/yang-2024-swe-agent-agent-computer-interfaces/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**John Yang, Carlos E. Jimenez, Alexander Wettig, et al.*2024 · 552 citations* 2. [**AlphaEvolve: A coding agent for scientific and algorithmic discovery arXiv:2506.13131**Alexander Novikov, Ngân Vũ, Marvin Eisenberger, et al.*2025 · 202 citations*](https://md.research.elamur.ai/free/en/papers/novikov-2025-alphaevolve-coding-agent-scientific-algorithmic/) 3. [**DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data arXiv:2405.14333**Huajian Xin, Daya Guo, Zhihong Shao, et al.*2024 · 111 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-advancing-theorem-proving/) 4. **[PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition](https://md.research.elamur.ai/free/en/papers/tsoukalas-2024-putnambench-evaluating-neural-theorem-provers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**George Tsoukalas, Jasper Lee, John Jennings, et al.*2024 · 93 citations* 5. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/) 6. [**Lean-STaR: Learning to Interleave Thinking and Proving arXiv:2407.10040**Haohan Lin, Zhiqing Sun, Sean Welleck, et al.*2024 · 51 citations*](https://md.research.elamur.ai/free/en/papers/lin-2024-lean-star-learning-interleave-thinking/) 7. [**Formal Mathematical Reasoning: A New Frontier in AI arXiv:2412.16075**Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.*2024 · 49 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-formal-mathematical-reasoning-new-frontier/) 8. [**A Survey on Deep Learning for Theorem Proving arXiv:2404.09939**Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-survey-deep-learning-theorem-proving/) 9. [**A Survey of Frontiers in LLM Reasoning: Inference Scaling, Learning to Reason, and Agentic Systems arXiv:2504.09037**Zixuan Ke, Fangkai Jiao, Yifei Ming, et al.*2025 · 39 citations*](https://md.research.elamur.ai/free/en/papers/ke-2025-survey-frontiers-llm-reasoning-inference/) 10. **[Aristotle: IMO-level Automated Theorem Proving](https://md.research.elamur.ai/free/en/papers/achim-2025-aristotle-imo-level-automated-theorem/) [SuperIntelligence - Robotics - Safety & Alignment](https://md.research.elamur.ai/free/en/venues/superintelligence-robotics-safety-alignment/)**Tudor Achim, Alex Best, Alberto Bietti, et al.*2025 · 29 citations* 11. [**Hilbert: Recursively Building Formal Proofs with Informal Reasoning arXiv:2509.22819**Sumanth Varambally, Thomas Voice, Yanchao Sun, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/varambally-2025-hilbert-recursively-building-formal-proofs/) 12. [**LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN prover arXiv:2407.17227**Zijian Wu, Jiayu Wang, Dahua Lin, et al.*2024 · 23 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-lean-github-compiling-github-lean/) 13. [**LLMSTEP: LLM proofstep suggestions in Lean arXiv:2310.18457**Sean Welleck, Rahul Saha*2023 · 22 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2023-llmstep-llm-proofstep-suggestions-lean/) 14. [**The Limits of Inference Scaling Through Resampling arXiv:2411.17501**Benedikt Stroebl, Sayash Kapoor, Arvind Narayanan*2024 · 21 citations*](https://md.research.elamur.ai/free/en/papers/stroebl-2024-limits-inference-scaling-through-resampling/) 15. **[Proving Theorems Recursively](https://md.research.elamur.ai/free/en/papers/wang-2024-proving-theorems-recursively/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Haiming Wang, Huajian Xin, Zhengying Liu, et al.*2024 · 19 citations* 16. **[Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification](https://md.research.elamur.ai/free/en/papers/liu-2025-safe-enhancing-mathematical-reasoning-large/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chengwu Liu, Ye Yuan, Yichun Yin, et al.*2025 · 17 citations* 17. [**Mathematical exploration and discovery at scale arXiv:2511.02864**Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/georgiev-2025-mathematical-exploration-discovery-scale/) 18. [**Solving Formal Math Problems by Decomposition and Iterative Reflection arXiv:2507.15225**Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2025-solving-formal-math-problems-decomposition/) 19. [**Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs arXiv:2506.19923**Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.*2025 · 14 citations*](https://md.research.elamur.ai/free/en/papers/baba-2025-prover-agent-agent-based-framework/) 20. [**Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning arXiv:2502.13834**Zenan Li, Zhaoyu Li, Wen Tang, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-proving-olympiad-inequalities-synergizing-llms/) 21. [**ImProver: Agent-Based Automated Proof Optimization arXiv:2410.04753**Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.*2024 · 5 citations*](https://md.research.elamur.ai/free/en/papers/ahuja-2024-improver-agent-based-automated-proof/) 22. **[Do Not Step Into the Same River Twice: Learning to Reason from Trial and Error](https://md.research.elamur.ai/free/en/papers/tang-2026-do-not-step-into-same/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Chenming Tang, Hsiu-Yuan Huang, Weijie Liu, et al.*2026 · 3 citations* 23. **[A Survey of Multimodal Mathematical Reasoning: From Perception, Alignment to Reasoning](https://md.research.elamur.ai/free/en/papers/yang-2026-survey-multimodal-mathematical-reasoning-perception/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Tianyu Yang, Sihong Wu, Yilun Zhao, et al.*2026* 20 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/) — An In-Context Learning Agent for Formal Theorem-Proving