🔗 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»

1. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
2. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
3. Proving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citations
4. IRIS: Interactive Research Ideation System for Accelerating Scientific DiscoveryAnnual Meeting of the Association for Computational Linguistics (ACL)Aniketh Garikaparthi, Manasi Patwardhan, Lovekesh Vig, et al.2025 · 11 citations
5. ScienceBoard: Evaluating Multimodal Autonomous Agents in Realistic Scientific WorkflowsarXiv:2505.19897Qiushi Sun, Zhoumianze Liu, Chang Ma, et al.2025 · 11 citations
6. Ax-Prover: A Deep Reasoning Agentic Framework for Theorem Proving in Mathematics and Quantum PhysicsarXiv:2510.12787Benjamin Breen, Marco Del Tredici, Jacob McCarran, et al.2025 · 9 citations
7. Math Neurosurgery: Isolating Language Models' Math Reasoning Abilities Using Only Forward PassesAnnual Meeting of the Association for Computational Linguistics (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 ModelsConference on Neural Information Processing Systems (NeurIPS)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-ProversarXiv:2509.06493Ran Xin, Zeyu Zheng, Yanchen Nie, et al.2025 · 7 citations
10. A Lean Dataset for International Math Olympiad: Small Steps towards Writing Math Proofs for Hard ProblemsarXiv:2411.18872Roozbeh Yousefzadeh, Xuenan Cao, Azim Ospanov2024 · 7 citations
11. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations

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

This page in Markdown → https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/cited-by/