🧑‍🔬 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

1. Chain-of-Thought Prompting Elicits Reasoning in Large Language ModelsarXiv:2201.11903Jason Wei, Xuezhi Wang, Dale Schuurmans, et al.2022 · 11,499 citations
2. ChatGPT for Good? On Opportunities and Challenges of Large Language Models for EducationEnkelejda Kasneci, Kathrin Seßler, Stefan Küchemann, et al.2023 · 7,440 citations
3. Training Verifiers to Solve Math Word ProblemsarXiv:2110.14168Karl Cobbe, Vineet Kosaraju, Mohammad Bavarian, et al.2021 · 3,796 citations
4. Self-Consistency Improves Chain of Thought Reasoning in Language ModelsarXiv:2203.11171Xuezhi Wang, Jason Wei, Dale Schuurmans, et al.2022 · 3,121 citations
5. Let's Verify Step by SteparXiv:2305.20050Hunter Lightman, Vineet Kosaraju, Yura Burda, et al.2023 · 1,412 citations
6. Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied AgentsarXiv:2201.07207Wenlong Huang, Pieter Abbeel, Deepak Pathak, et al.2022 · 443 citations
7. WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-InstructarXiv:2308.09583Haipeng Luo, Qingfeng Sun, Can Xu, et al.2023 · 372 citations
8. Large Language Models are Better Reasoners with Self-VerificationFindings of the Association for Computational LinguisticsYixuan Weng, Minjun Zhu, Fei Xia, et al.2023 · 304 citations
9. 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
10. Making Language Models Better Reasoners with Step-Aware VerifierAnnual Meeting of the Association for Computational Linguistics (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 LLMsTransactions of the Association for Computational Linguistics (TACL)Ryo Kamoi, Yusen Zhang, Nan Zhang, et al.2024 · 161 citations
12. Deductive Verification of Chain-of-Thought ReasoningConference on Neural Information Processing Systems (NeurIPS)Zhan Ling, Yunhao Fang, Xuanlin Li, et al.2023 · 130 citations
13. LEVER: Learning to Verify Language-to-Code Generation with ExecutionarXiv:2302.08468Ansong Ni, Srini Iyer, Dragomir Radev, et al.2023 · 126 citations
14. DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionarXiv:2504.21801Z. Z. Ren, Zhihong Shao, Junxiao Song, et al.2025 · 122 citations
15. Towards Large Reasoning Models: A Survey of Reinforced Reasoning with Large Language ModelsarXiv:2501.09686Fengli Xu, Qianyue Hao, Zefang Zong, et al.2025 · 120 citations
16. DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree SearcharXiv:2408.08152Huajian Xin, Z. Z. Ren, Junxiao Song, et al.2024 · 116 citations
17. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
18. Multi-Step Reasoning with Large Language Models, a SurveyACM Computing SurveysAske Plaat, Annie Wong, Suzan Verberne, et al.2024 · 106 citations
19. Self-Edit: Fault-Aware Code Editor for Code GenerationAnnual Meeting of the Association for Computational Linguistics (ACL)Kechi Zhang, Zhuo Li, Jia Li, et al.2023 · 105 citations
20. Learning to Reason Deductively: Math Word Problem Solving as Complex Relation ExtractionZhanming Jie, Jierui Li, Wei Lu2022 · 102 citations
21. MathArena: Evaluating LLMs on Uncontaminated Math CompetitionsConference on Neural Information Processing Systems (NeurIPS)Mislav Balunović, Jasper Dekoninck, Ivo Petrov, et al.2025 · 99 citations
22. 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
23. Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354Haiming Wang, Mert Unsal, Xiaohan Lin, et al.2025 · 92 citations
24. Universal Self-Consistency for Large Language Model GenerationarXiv:2311.17311Xinyun Chen, Renat Aksitov, Uri Alon, et al.2023 · 92 citations
25. InternLM-Math: Open Math Large Language Models Toward Verifiable ReasoningarXiv:2402.06332Huaiyuan Ying, Shuo Zhang, Linyang Li, et al.2024 · 90 citations
26. LAMBADA: Backward Chaining for Automated Reasoning in Natural LanguageAnnual Meeting of the Association for Computational Linguistics (ACL)Mehran Kazemi, Najoung Kim, Deepti Bhatia, et al.2023 · 89 citations
27. Talk like a Graph: Encoding Graphs for Large Language ModelsarXiv:2310.04560Bahare Fatemi, Jonathan Halcrow, Bryan Perozzi2023 · 81 citations
28. Lean Workbook: A large-scale Lean problem set formalized from natural language math problemsConference on Neural Information Processing Systems (NeurIPS)Huaiyuan Ying, Zijian Wu, Yihan Geng, et al.2024 · 80 citations
29. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
30. OVM, Outcome-supervised Value Models for Planning in Mathematical ReasoningFindings of the Association for Computational LinguisticsFei Yu, Anningzhe Gao, Benyou Wang2023 · 78 citations
31. Automatic Generation of Socratic Subquestions for Teaching Math Word ProblemsConference on Empirical Methods in Natural Language Processing (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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Alessandro Stolfo, Zhijing Jin, Kumar Shridhar, et al.2023 · 65 citations
33. OlympicArena: Benchmarking Multi-discipline Cognitive Reasoning for Superintelligent AIConference on Neural Information Processing Systems (NeurIPS)Zhen Huang, Zengzhi Wang, Shijie Xia, et al.2024 · 56 citations
34. FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
35. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
36. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
37. An In-Context Learning Agent for Formal Theorem-ProvingarXiv:2310.04353Amitayush Thakur, George Tsoukalas, Yeming Wen, et al.2023 · 47 citations
38. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
39. Scaling Laws with Vocabulary: Larger Models Deserve Larger VocabulariesarXiv:2407.13623Chaofan Tao, Qian Liu, Longxu Dou, et al.2024 · 46 citations
40. STP: Self-play LLM Theorem Provers with Iterative Conjecturing and ProvingarXiv:2502.00212Kefan Dong, Tengyu Ma2025 · 43 citations
41. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
42. Fault-Aware Neural Code RankersConference on Neural Information Processing Systems (NeurIPS)Jeevana Priya Inala, Chenglong Wang, Mei Yang, et al.2022 · 39 citations
43. Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement LearningarXiv:2402.05808Zhiheng Xi, Wenxiang Chen, Boyang Hong, et al.2024 · 36 citations
44. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
45. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
46. Proof or Bluff? Evaluating LLMs on 2025 USA Math OlympiadarXiv:2503.21934Ivo Petrov, Jasper Dekoninck, Lyuben Baltadzhiev, et al.2025 · 31 citations
47. MUSTARD: Mastering Uniform Synthesis of Theorem and Proof DataarXiv:2402.08957 (ICLR 2024 spotlight)Yinya Huang, Xiaohan Lin, Zhengying Liu, et al.2024 · 29 citations
48. AutoPSV: Automated Process-Supervised VerifierConference on Neural Information Processing Systems (NeurIPS)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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Haoxiang Sun, Yingqian Min, Zhipeng Chen, et al.2026 · 25 citations
50. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
51. Language Model Self-improvement by Reinforcement Learning ContemplationarXiv:2305.14483Jing-Cheng Pang; Pengyuan Wang; Kaiyuan Li; Xiong-Hui Chen; Jiacheng Xu; Zongzhang Zhang;, Yang Yu2023 · 22 citations
52. AI4Research: A Survey of Artificial Intelligence for Scientific ResearchScience China Information SciencesQiguang Chen, Mingda Yang, Libo Qin, et al.2025 · 21 citations
53. TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP)Jing Xiong, Jianhao Shen, Ye Yuan, et al.2023 · 21 citations
54. CombiBench: Benchmarking LLM Capability for Combinatorial MathematicsarXiv:2505.03171Junqi Liu, Xiaohan Lin, Jonas Bayer, et al.2025 · 20 citations
55. Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic ConsistencyConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Yifan Wu, Zhaoyu Li, et al.2024 · 19 citations
56. Proving Theorems RecursivelyConference on Neural Information Processing Systems (NeurIPS)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 ProvingarXiv:2503.03205Ruida Wang, Rui Pan, Yuxin Li, et al.2025 · 18 citations
58. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
59. miniCTX: Neural Theorem Proving with (Long-)ContextsarXiv:2408.03350Jiewen Hu, Thomas Zhu, Sean Welleck2024 · 18 citations
60. APOLLO: Automated LLM and Lean Collaboration for Advanced Formal ReasoningConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 17 citations
61. Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal VerificationAnnual Meeting of the Association for Computational Linguistics (ACL)Chengwu Liu, Ye Yuan, Yichun Yin, et al.2025 · 17 citations
62. ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of DataConference on Neural Information Processing Systems (NeurIPS)Xiaoyang Liu, Kangjie Bao, Jiashuo Zhang, et al.2025 · 16 citations
63. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
64. Prover Agent: An Agent-Based Framework for Formal Mathematical ProofsarXiv:2506.19923Kaito Baba, Chaoran Liu, Shuhei Kurita, et al.2025 · 14 citations
65. Satori: Reinforcement Learning with Chain-of-Action-Thought Enhances LLM Reasoning via Autoregressive SearcharXiv:2502.02508Maohao Shen, Guangtao Zeng, Zhenting Qi, et al.2025 · 13 citations
66. CriticLean: Critic-Guided Reinforcement Learning for Mathematical FormalizationAnnual Meeting of the Association for Computational Linguistics (ACL)Zhongyuan Peng, Yifan Yao, Kaijing Ma, et al.2026 · 12 citations
67. Proving Olympiad Algebraic Inequalities without Human DemonstrationsConference on Neural Information Processing Systems (NeurIPS)Chenrui Wei, Mengzhou Sun, Wei Wang2024 · 12 citations
68. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
69. Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical DefinitionsConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Marco Valentino, Andre Freitas2025 · 11 citations
70. Proving Olympiad Inequalities by Synergizing LLMs and Symbolic ReasoningarXiv:2502.13834Zenan Li, Zhaoyu Li, Wen Tang, et al.2025 · 11 citations
71. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
72. SubgoalXL: Subgoal-based Expert Learning for Theorem ProvingarXiv:2408.11172Xueliang Zhao, Lin Zheng, Haige Bo, et al.2024 · 10 citations
73. 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
74. Theorem Prover as a Judge for Synthetic Data GenerationAnnual Meeting of the Association for Computational Linguistics (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 ModelsConference on Neural Information Processing Systems (NeurIPS)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 ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Dadi Guo, Jiayu Liu, Zhiyuan Fan, et al.2026 · 5 citations
77. Bourbaki: Self-Generated and Goal-Conditioned MDPs for Theorem ProvingarXiv:2507.02726Matthieu Zimmer, Xiaotong Ji, Rasul Tutunov, et al.2025 · 5 citations
78. ProofFlow: A Dependency Graph Approach to Faithful Proof AutoformalizationarXiv:2510.15981Rafael Cabral, Tuan Manh Do, Xuejun Yu, et al.2025 · 5 citations
79. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
80. FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in LeanAnnual Meeting of the Association for Computational Linguistics (ACL)Jordan Meadows, Lan Zhang, Andre Freitas2026
81. Generalizable LLM Learning of Graph Synthetic Data with Post-training AlignmentFindings of the Association for Computational LinguisticsYizhuo Zhang, Heng Wang, Shangbin Feng, et al.2026

95 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/jianhao-shen/cited-by/