---
title: "Who cites Jianhao Shen — 176 papers of our library"
description: "176 papers of the Elamur Research library cite the works of Jianhao Shen, found in their bibliographies; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/jianhao-shen/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/jianhao-shen/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Jianhao Shen](https://md.research.elamur.ai/free/en/authors/jianhao-shen/) / cited by

# Who cites Jianhao Shen

232 citations of their works from 176 papers of our library (of the 149,439 whose bibliographies we read) · 81 with a page here, the most cited first · [← Jianhao Shen](https://md.research.elamur.ai/free/en/authors/jianhao-shen/)

1. [**Chain-of-Thought Prompting Elicits Reasoning in Large Language Models arXiv:2201.11903**Jason Wei, Xuezhi Wang, Dale Schuurmans, et al.*2022 · 11,499 citations*](https://md.research.elamur.ai/free/en/papers/wei-2022-chain-thought-prompting-elicits-reasoning/)
2. [**ChatGPT for Good? On Opportunities and Challenges of Large Language Models for Education**Enkelejda Kasneci, Kathrin Seßler, Stefan Küchemann, et al.*2023 · 7,440 citations*](https://md.research.elamur.ai/free/en/papers/kasneci-2023-chatgpt-good-opportunities-challenges-large/)
3. [**Training Verifiers to Solve Math Word Problems arXiv:2110.14168**Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, et al.*2021 · 3,796 citations*](https://md.research.elamur.ai/free/en/papers/cobbe-2021-training-verifiers-solve-math-word/)
4. [**Self-Consistency Improves Chain of Thought Reasoning in Language Models arXiv:2203.11171**Xuezhi Wang, Jason Wei, Dale Schuurmans, et al.*2022 · 3,121 citations*](https://md.research.elamur.ai/free/en/papers/wang-2022-self-consistency-improves-chain-thought/)
5. [**Let's Verify Step by Step arXiv:2305.20050**Hunter Lightman, Vineet Kosaraju, Yura Burda, et al.*2023 · 1,412 citations*](https://md.research.elamur.ai/free/en/papers/lightman-2023-let-s-verify-step-step/)
6. [**Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agents arXiv:2201.07207**Wenlong Huang, Pieter Abbeel, Deepak Pathak, et al.*2022 · 443 citations*](https://md.research.elamur.ai/free/en/papers/huang-2022-language-models-zero-shot-planners/)
7. [**WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct arXiv:2308.09583**Haipeng Luo, Qingfeng Sun, Can Xu, et al.*2023 · 372 citations*](https://md.research.elamur.ai/free/en/papers/luo-2023-wizardmath-empowering-mathematical-reasoning-large/)
8. **[Large Language Models are Better Reasoners with Self-Verification](https://md.research.elamur.ai/free/en/papers/weng-2023-large-language-models-are-better/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yixuan Weng, Minjun Zhu, Fei Xia, et al.*2023 · 304 citations*
9. **[LeanDojo: Theorem Proving with Retrieval-Augmented Language Models](https://md.research.elamur.ai/free/en/papers/yang-2023-leandojo-theorem-proving-retrieval-augmented/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.*2023 · 253 citations*
10. **[Making Language Models Better Reasoners with Step-Aware Verifier](https://md.research.elamur.ai/free/en/papers/li-2023-making-language-models-better-reasoners/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Yifei Li, Zeqi Lin, Shizhuo Zhang, et al.*2023 · 217 citations*
11. **[When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMs](https://md.research.elamur.ai/free/en/papers/kamoi-2024-when-can-llms-actually-correct/) [Transactions of the Association for Computational Linguistics (TACL)](https://md.research.elamur.ai/free/en/venues/tacl/)**Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.*2024 · 161 citations*
12. **[Deductive Verification of Chain-of-Thought Reasoning](https://md.research.elamur.ai/free/en/papers/ling-2023-deductive-verification-chain-thought-reasoning/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhan Ling, Yunhao Fang, Xuanlin Li, et al.*2023 · 130 citations*
13. [**LEVER: Learning to Verify Language-to-Code Generation with Execution arXiv:2302.08468**Ansong Ni, Srini Iyer, Dragomir Radev, et al.*2023 · 126 citations*](https://md.research.elamur.ai/free/en/papers/ni-2023-lever-learning-verify-language-code/)
14. [**DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition arXiv:2504.21801**Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.*2025 · 122 citations*](https://md.research.elamur.ai/free/en/papers/ren-2025-deepseek-prover-v2-advancing-formal/)
15. [**Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language Models arXiv:2501.09686**Fengli Xu, Qianyue Hao, Zefang Zong, et al.*2025 · 120 citations*](https://md.research.elamur.ai/free/en/papers/xu-2025-towards-large-reasoning-models-survey/)
16. [**DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search arXiv:2408.08152**Huajian Xin, Z. Z. Ren, Junxiao Song, et al.*2024 · 116 citations*](https://md.research.elamur.ai/free/en/papers/xin-2024-deepseek-prover-v1-5-harnessing/)
17. [**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/)
18. **[Multi-Step Reasoning with Large Language Models, a Survey](https://md.research.elamur.ai/free/en/papers/plaat-2024-multi-step-reasoning-large-language/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Aske Plaat, Annie Wong, Suzan Verberne, et al.*2024 · 106 citations*
19. **[Self-Edit: Fault-Aware Code Editor for Code Generation](https://md.research.elamur.ai/free/en/papers/zhang-2023-self-edit-fault-aware-code/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Kechi Zhang, Zhuo Li, Jia Li, et al.*2023 · 105 citations*
20. [**Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction**Zhanming Jie, Jierui Li, Wei Lu*2022 · 102 citations*](https://md.research.elamur.ai/free/en/papers/jie-2022-learning-reason-deductively-math-word/)
21. **[MathArena: Evaluating LLMs on Uncontaminated Math Competitions](https://md.research.elamur.ai/free/en/papers/balunovic-2025-matharena-evaluating-llms-uncontaminated-math/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.*2025 · 99 citations*
22. **[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*
23. [**Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning arXiv:2504.11354**Haiming Wang, Mert Unsal, Xiaohan Lin, et al.*2025 · 92 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-kimina-prover-preview-large-formal/)
24. [**Universal Self-Consistency for Large Language Model Generation arXiv:2311.17311**Xinyun Chen, Renat Aksitov, Uri Alon, et al.*2023 · 92 citations*](https://md.research.elamur.ai/free/en/papers/chen-2023-universal-self-consistency-large-language/)
25. [**InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning arXiv:2402.06332**Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.*2024 · 90 citations*](https://md.research.elamur.ai/free/en/papers/ying-2024-internlm-math-open-math-large/)
26. **[LAMBADA: Backward Chaining for Automated Reasoning in Natural Language](https://md.research.elamur.ai/free/en/papers/kazemi-2023-lambada-backward-chaining-automated-reasoning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mehran Kazemi, Najoung Kim, Deepti Bhatia, et al.*2023 · 89 citations*
27. [**Talk like a Graph: Encoding Graphs for Large Language Models arXiv:2310.04560**Bahare Fatemi, Jonathan Halcrow, Bryan Perozzi*2023 · 81 citations*](https://md.research.elamur.ai/free/en/papers/fatemi-2023-talk-like-graph-encoding-graphs/)
28. **[Lean Workbook: A large-scale Lean problem set formalized from natural language math problems](https://md.research.elamur.ai/free/en/papers/ying-2024-lean-workbook-large-scale-lean/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.*2024 · 80 citations*
29. [**LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656**Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.*2023 · 79 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-lego-prover-neural-theorem-proving/)
30. **[OVM, Outcome-supervised Value Models for Planning in Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/yu-2023-ovm-outcome-supervised-value-models/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Fei Yu, Anningzhe Gao, Benyou Wang*2023 · 78 citations*
31. **[Automatic Generation of Socratic Subquestions for Teaching Math Word Problems](https://md.research.elamur.ai/free/en/papers/shridhar-2022-automatic-generation-socratic-subquestions-teaching/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Kumar Shridhar, Jakub Macina, Mennatallah El-Assady, et al.*2022 · 70 citations*
32. **[A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models](https://md.research.elamur.ai/free/en/papers/stolfo-2023-causal-framework-quantify-robustness-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Alessandro Stolfo, Zhijing Jin, Kumar Shridhar, et al.*2023 · 65 citations*
33. **[OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AI](https://md.research.elamur.ai/free/en/papers/huang-2024-olympicarena-benchmarking-multi-discipline-cognitive/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhen Huang, Zengzhi Wang, Shijie Xia, et al.*2024 · 56 citations*
34. [**FIMO: A Challenge Formal Dataset for Automated Theorem Proving arXiv:2309.04295**Chengwu Liu, Jianhao Shen, Huajian Xin, et al.*2023 · 53 citations*](https://md.research.elamur.ai/free/en/papers/liu-2023-fimo-challenge-formal-dataset-automated/)
35. [**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/)
36. [**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/)
37. [**An In-Context Learning Agent for Formal Theorem-Proving arXiv:2310.04353**Amitayush Thakur, George Tsoukalas, Yeming Wen, et al.*2023 · 47 citations*](https://md.research.elamur.ai/free/en/papers/thakur-2023-context-learning-agent-formal-theorem/)
38. [**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/)
39. [**Scaling Laws with Vocabulary: Larger Models Deserve Larger Vocabularies arXiv:2407.13623**Chaofan Tao, Qian Liu, Longxu Dou, et al.*2024 · 46 citations*](https://md.research.elamur.ai/free/en/papers/tao-2024-scaling-laws-vocabulary-larger-models/)
40. [**STP: Self-play LLM Theorem Provers with Iterative Conjecturing and Proving arXiv:2502.00212**Kefan Dong, Tengyu Ma*2025 · 43 citations*](https://md.research.elamur.ai/free/en/papers/dong-2025-stp-self-play-llm-theorem/)
41. [**Lean Copilot: Large Language Models as Copilots for Theorem Proving in Lean arXiv:2404.12534**Peiyang Song, Kaiyu Yang, Anima Anandkumar*2024 · 39 citations*](https://md.research.elamur.ai/free/en/papers/song-2024-lean-copilot-large-language-models/)
42. **[Fault-Aware Neural Code Rankers](https://md.research.elamur.ai/free/en/papers/inala-2022-fault-aware-neural-code-rankers/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jeevana Priya Inala, Chenglong Wang, Mei Yang, et al.*2022 · 39 citations*
43. [**Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning arXiv:2402.05808**Zhiheng Xi, Wenxiang Chen, Boyang Hong, et al.*2024 · 36 citations*](https://md.research.elamur.ai/free/en/papers/xi-2024-training-large-language-models-reasoning/)
44. [**Process-Driven Autoformalization in Lean 4 arXiv:2406.01940**Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-process-driven-autoformalization-lean-4/)
45. [**FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models arXiv:2505.02735**Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/yu-2025-formalmath-benchmarking-formal-mathematical-reasoning/)
46. [**Proof or Bluff? Evaluating LLMs on 2025 USA Math Olympiad arXiv:2503.21934**Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, et al.*2025 · 31 citations*](https://md.research.elamur.ai/free/en/papers/petrov-2025-proof-or-bluff-evaluating-llms/)
47. [**MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data arXiv:2402.08957 (ICLR 2024 spotlight)**Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.*2024 · 29 citations*](https://md.research.elamur.ai/free/en/papers/huang-2024-mustard-mastering-uniform-synthesis-theorem/)
48. **[AutoPSV: Automated Process-Supervised Verifier](https://md.research.elamur.ai/free/en/papers/lu-2024-autopsv-automated-process-supervised-verifier/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jianqiao Lu, Zhiyang Dou, Hongru Wang, et al.*2024 · 28 citations*
49. **[Challenging the Boundaries of Reasoning: An Olympiad-Level Math Benchmark for Large Language Models](https://md.research.elamur.ai/free/en/papers/sun-2026-challenging-boundaries-reasoning-olympiad-level/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.*2026 · 25 citations*
50. [**Lyra: Orchestrating Dual Correction in Automated Theorem Proving arXiv:2309.15806**Chuanyang Zheng, Haiming Wang, Enze Xie, et al.*2023 · 24 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2023-lyra-orchestrating-dual-correction-automated/)
51. [**Language Model Self-improvement by Reinforcement Learning Contemplation arXiv:2305.14483**Jing-Cheng Pang; Pengyuan Wang; Kaiyuan Li; Xiong-Hui Chen; Jiacheng Xu; Zongzhang Zhang;, Yang Yu*2023 · 22 citations*](https://md.research.elamur.ai/free/en/papers/pang-2023-language-model-self-improvement-reinforcement/)
52. **[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*
53. **[TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models](https://md.research.elamur.ai/free/en/papers/xiong-2023-trigo-benchmarking-formal-mathematical-proof/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Jing Xiong, Jianhao Shen, Ye Yuan, et al.*2023 · 21 citations*
54. [**CombiBench: Benchmarking LLM Capability for Combinatorial Mathematics arXiv:2505.03171**Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.*2025 · 20 citations*](https://md.research.elamur.ai/free/en/papers/liu-2025-combibench-benchmarking-llm-capability-combinatorial/)
55. **[Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency](https://md.research.elamur.ai/free/en/papers/li-2024-autoformalize-mathematical-statements-symbolic-equivalence/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zenan Li, Yifan Wu, Zhaoyu Li, et al.*2024 · 19 citations*
56. **[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*
57. [**MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving arXiv:2503.03205**Ruida Wang, Rui Pan, Yuxin Li, et al.*2025 · 18 citations*](https://md.research.elamur.ai/free/en/papers/wang-2025-ma-lot-model-collaboration-lean/)
58. [**FormalAlign: Automated Alignment Evaluation for Autoformalization arXiv:2410.10135**Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/lu-2024-formalalign-automated-alignment-evaluation-autoformalization/)
59. [**miniCTX: Neural Theorem Proving with (Long-)Contexts arXiv:2408.03350**Jiewen Hu, Thomas Zhu, Sean Welleck*2024 · 18 citations*](https://md.research.elamur.ai/free/en/papers/hu-2024-minictx-neural-theorem-proving-long/)
60. **[APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning](https://md.research.elamur.ai/free/en/papers/ospanov-2025-apollo-automated-llm-lean-collaboration/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 17 citations*
61. **[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*
62. **[ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data](https://md.research.elamur.ai/free/en/papers/liu-2025-atlas-autoformalizing-theorems-through-lifting/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.*2025 · 16 citations*
63. [**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/)
64. [**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/)
65. [**Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive Search arXiv:2502.02508**Maohao Shen, Guangtao Zeng, Zhenting Qi, et al.*2025 · 13 citations*](https://md.research.elamur.ai/free/en/papers/shen-2025-satori-reinforcement-learning-chain-action/)
66. **[CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization](https://md.research.elamur.ai/free/en/papers/peng-2026-criticlean-critic-guided-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.*2026 · 12 citations*
67. **[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*
68. [**Autoformalization in the Era of Large Language Models: A Survey arXiv:2505.23486**Ke Weng, Lun Du, Sirui Li, et al.*2025 · 11 citations*](https://md.research.elamur.ai/free/en/papers/weng-2025-autoformalization-era-large-language-models/)
69. **[Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions](https://md.research.elamur.ai/free/en/papers/zhang-2025-autoformalization-wild-assessing-llms-real/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lan Zhang, Marco Valentino, Andre Freitas*2025 · 11 citations*
70. [**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/)
71. **[Consistent Autoformalization for Constructing Mathematical Libraries](https://md.research.elamur.ai/free/en/papers/zhang-2024-consistent-autoformalization-constructing-mathematical-libraries/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Lan Zhang, Xin Quan, Andre Freitas*2024 · 11 citations*
72. [**SubgoalXL: Subgoal-based Expert Learning for Theorem Proving arXiv:2408.11172**Xueliang Zhao, Lin Zheng, Haige Bo, et al.*2024 · 10 citations*](https://md.research.elamur.ai/free/en/papers/zhao-2024-subgoalxl-subgoal-based-expert-learning/)
73. [**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/)
74. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Joshua Ong Jun Leang, Giwon Hong, Wenda Li, et al.*2025 · 9 citations*
75. **[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*
76. **[Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models](https://md.research.elamur.ai/free/en/papers/guo-2026-mathematical-proof-as-litmus-test/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.*2026 · 5 citations*
77. [**Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem Proving arXiv:2507.02726**Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/zimmer-2025-bourbaki-self-generated-goal-conditioned/)
78. [**ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization arXiv:2510.15981**Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.*2025 · 5 citations*](https://md.research.elamur.ai/free/en/papers/cabral-2025-proofflow-dependency-graph-approach-faithful/)
79. **[miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward](https://md.research.elamur.ai/free/en/papers/ospanov-2025-minif2f-lean-revisited-reviewing-limitations/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh*2025 · 4 citations*
80. **[FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean](https://md.research.elamur.ai/free/en/papers/meadows-2026-formalscience-scalable-human-loop-autoformalisation/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Jordan Meadows, Lan Zhang, Andre Freitas*2026*
81. **[Generalizable LLM Learning of Graph Synthetic Data with Post-training Alignment](https://md.research.elamur.ai/free/en/papers/zhang-2026-generalizable-llm-learning-graph-synthetic/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yizhuo Zhang, Heng Wang, Shangbin Feng, et al.*2026*

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

- [← back to](https://md.research.elamur.ai/free/en/authors/jianhao-shen/) — Jianhao Shen