🧑‍🔬 Who cites Yuriy Brun

90 citations of their works from 85 papers of our library (of the 149,439 whose bibliographies we read) · 47 with a page here, the most cited first · ← Yuriy Brun

1. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
2. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
3. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
4. When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMsTransactions of the Association for Computational Linguistics (TACL)Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.2024 · 161 citations
5. Automatically Correcting Large Language Models: Surveying the Landscape of Diverse Automated Correction StrategiesTransactions of the Association for Computational Linguistics (TACL)Liangming Pan, Michael Saxon, Wenda Xu, et al.2024 · 140 citations
6. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
7. 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
8. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
9. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
10. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
11. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-CorrectionarXiv:2508.03613Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 67 citations
12. Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem ProvingConference on Empirical Methods in Natural Language Processing (EMNLP)Xin Quan, Marco Valentino, Louise A. Dennis, et al.2024 · 52 citations
13. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
14. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
15. An In-Context Learning Agent for Formal Theorem-ProvingarXiv:2310.04353Amitayush Thakur, George Tsoukalas, Yeming Wen, et al.2023 · 47 citations
16. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
17. Towards AI-Assisted Synthesis of Verified Dafny MethodsarXiv:2402.00247Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, et al.2024 · 46 citations
18. Evaluating Language Models for Mathematics through InteractionsarXiv:2306.01694Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.2023 · 40 citations
19. 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
20. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
21. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 citations
22. Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem ProvingarXiv:2305.16366Xueliang Zhao, Wenda Li, Lingpeng Kong2023 · 29 citations
23. 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
24. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
25. LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN proverarXiv:2407.17227Zijian Wu, Jiayu Wang, Dahua Lin, et al.2024 · 23 citations
26. LLMSTEP: LLM proofstep suggestions in LeanarXiv:2310.18457Sean Welleck, Rahul Saha2023 · 22 citations
27. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
28. The Limits of Inference Scaling Through ResamplingarXiv:2411.17501Benedikt Stroebl, Sayash Kapoor, Arvind Narayanan2024 · 21 citations
29. Graph2Tac: Online Representation Learning of Formal Math ConceptsarXiv:2401.02949Lasse Blaauwbroek, Miroslav Olšák, Jason Rute, et al.2024 · 19 citations
30. Proving Theorems RecursivelyConference on Neural Information Processing Systems (NeurIPS)Haiming Wang, Huajian Xin, Zhengying Liu, et al.2024 · 19 citations
31. 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
32. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
33. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
34. Can Transformers Learn to Solve Problems Recursively?arXiv:2305.14699Shizhuo Dylan Zhang, Curt Tigges, Stella Biderman, et al.2023 · 17 citations
35. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
36. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
37. AlphaVerus: Bootstrapping Formally Verified Code Generation through Self-Improving Translation and TreefinementarXiv:2412.06176Pranjal Aggarwal, Bryan Parno, Sean Welleck2024 · 11 citations
38. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
39. Lemur: Integrating Large Language Models in Automated Program VerificationarXiv:2310.04870Haoze Wu, Clark Barrett, Nina Narodytska2024 · 11 citations
40. SubgoalXL: Subgoal-based Expert Learning for Theorem ProvingarXiv:2408.11172Xueliang Zhao, Lin Zheng, Haige Bo, et al.2024 · 10 citations
41. 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
42. 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
43. Premise Selection for a Lean HammerarXiv:2506.07477Thomas Zhu, Joshua Clune, Jeremy Avigad, et al.2025 · 5 citations
44. StepFun-Prover Preview: Let's Think and Verify Step by SteparXiv:2507.20199Shijie Shang, Ruosi Wan, Yue Peng, et al.2025 · 5 citations
45. ImProver: Agent-Based Automated Proof OptimizationarXiv:2410.04753Riyaz Ahuja, Jeremy Avigad, Prasad Tetali, et al.2024 · 5 citations
46. MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data CurationConference on Neural Information Processing Systems (NeurIPS)Zhenwen Liang, Linfeng Song, Yang Li, et al.2025 · 4 citations
47. CodeRise: Bootstrapping LLMs for Ultra Low-Resource Programming Languages via Progressive Self-Refinement CurriculumFindings of the Association for Computational LinguisticsTengfei Wen, Xuanang Chen, Ben He, et al.2026

38 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/yuriy-brun/cited-by/