--- title: "Who cites Lean Copilot: Large Language — 34 citing papers" description: "34 papers of the Elamur Research library cite «Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean», found in their…" canonical: "https://research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/cited-by/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/cited-by/) [home](https://md.research.elamur.ai/free/en/) / [papers](https://md.research.elamur.ai/free/en/papers/) / [Lean Copilot: Large Language Models as Copilots…](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) / cited by # Who cites «Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean» 34 papers of our library cite it (of the 149,439 whose bibliographies we read) · 11 with a page here, the most cited first · [← back to «Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean»](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) 1. [**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/) 2. **[AI4Research: A Survey of Artificial Intelligence for Scientific Research](https://md.research.elamur.ai/free/en/papers/chen-2025-ai4research-survey-artificial-intelligence/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Mingda Yang, Libo Qin, et al.*2025 · 21 citations* 3. **[Proving Olympiad Algebraic Inequalities without Human Demonstrations](https://md.research.elamur.ai/free/en/papers/wei-2024-proving-olympiad-algebraic-inequalities-without/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Wei, Mengzhou Sun, Wei Wang*2024 · 12 citations* 4. **[IRIS: Interactive Research Ideation System for Accelerating Scientific Discovery](https://md.research.elamur.ai/free/en/papers/garikaparthi-2025-iris-interactive-research-ideation-system/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Aniketh Garikaparthi, Manasi Patwardhan, Lovekesh Vig, et al.*2025 · 11 citations* 5. [**ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific Workflows arXiv:2505.19897**Qiushi Sun, Zhoumianze Liu, Chang Ma, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/sun-2025-scienceboard-evaluating-multimodal-autonomous-agents/) 6. [**Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum Physics arXiv:2510.12787**Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.*2025 · 9 citations*](https://md.research.elamur.ai/free/en/papers/breen-2025-ax-prover-deep-reasoning-agentic/) 7. **[Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward Passes](https://md.research.elamur.ai/free/en/papers/christ-2025-math-neurosurgery-isolating-language-models/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Bryan R Christ, Zachary Gottesman, Jonathan Kropko, et al.*2025 · 7 citations* 8. **[Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models](https://md.research.elamur.ai/free/en/papers/cao-2025-reviving-dsp-advanced-theorem-proving/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Chenrui Cao, Liangcheng Song, Zenan Li, et al.*2025 · 7 citations* 9. [**Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers arXiv:2509.06493**Ran Xin, Zeyu Zheng, Yanchen Nie, et al.*2025 · 7 citations*](https://md.research.elamur.ai/free/en/papers/xin-2025-scaling-up-multi-turn-off/) 10. [**A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard Problems arXiv:2411.18872**Roozbeh Yousefzadeh, Xuenan Cao, Azim Ospanov*2024 · 7 citations*](https://md.research.elamur.ai/free/en/papers/yousefzadeh-2024-lean-dataset-international-math-olympiad/) 11. [**Premise Selection for a Lean Hammer arXiv:2506.07477**Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2025-premise-selection-lean-hammer/) 23 more papers of our library cite it; they have no page here yet. - [← back to](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/) — Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean