🧑‍🔬 Who cites Charles Staats

204 citations of their works from 186 papers of our library (of the 149,439 whose bibliographies we read) · 92 with a page here, the most cited first · ← Charles Staats

1. A Survey on Evaluation of Large Language ModelsACM Transactions on Intelligent Systems and TechnologyYupeng Chang, Xu Wang, Jindong Wang, et al.2023 · 3,648 citations
2. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
3. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
4. Logic-LM: Empowering Large Language Models with Symbolic Solvers for Faithful Logical ReasoningarXiv:2305.12295Liangming Pan, Alon Albalak, Xinyi Wang, et al.2023 · 374 citations
5. Augmented Language Models: a SurveyarXiv:2302.07842Grégoire Mialon, Roberto Dessì, Maria Lomeli, et al.2023 · 369 citations
6. Llemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citations
7. 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
8. Self-planning Code Generation with Large Language ModelsACM Transactions on Software Engineering and MethodologyXue Jiang, Yihong Dong, Lecheng Wang, et al.2023 · 223 citations
9. Language Models of Code are Few-Shot Commonsense LearnersConference on Empirical Methods in Natural Language Processing (EMNLP)Aman Madaan, Shuyan Zhou, Uri Alon, et al.2022 · 212 citations
10. A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and ValidationArtificial Intelligence ReviewXiaowei Huang, Wenjie Ruan, Wei Huang, et al.2023 · 199 citations
11. Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsarXiv:2210.12283Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022 · 178 citations
12. Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language ModelsScience China Information SciencesQiguang Chen, Libo Qin, Jinhao Liu, et al.2025 · 176 citations
13. Baldur: Whole-Proof Generation and Repair with Large Language ModelsarXiv:2303.04910Emily First, Markus N. Rabe, Talia Ringer, et al.2023 · 175 citations
14. LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic ProversConference on Empirical Methods in Natural Language Processing (EMNLP)Theo X. Olausson, Alex Gu, Benjamin Lipkin, et al.2023 · 172 citations
15. Reasoning with Language Model Prompting: A SurveyarXiv:2212.09597Shuofei Qiao, Yixin Ou, Ningyu Zhang, et al.2022 · 161 citations
16. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
17. Progressive-Hint Prompting Improves Reasoning in Large Language ModelsarXiv:2304.09797Chuanyang Zheng, Zhengying Liu, Enze Xie, et al.2023 · 131 citations
18. DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataarXiv:2405.14333Huajian Xin, Daya Guo, Zhihong Shao, et al.2024 · 111 citations
19. Text and Patterns: For Effective Chain of Thought, It Takes Two to TangoarXiv:2209.07686Aman Madaan, Amir Yazdanbakhsh2022 · 98 citations
20. Teaching Algorithmic Reasoning via In-context LearningarXiv:2211.09066Hattie Zhou, Azade Nova, Hugo Larochelle, et al.2022 · 96 citations
21. How well do Large Language Models perform in Arithmetic tasks?arXiv:2304.02015Zheng Yuan, Hongyi Yuan, Chuanqi Tan, et al.2023 · 93 citations
22. Foundational Challenges in Assuring Alignment and Safety of Large Language ModelsarXiv:2404.09932Usman Anwar, Abulhair Saparov, Javier Rando, et al.2024 · 87 citations
23. Mathematics, word problems, common sense, and artificial intelligenceBulletin of the American Mathematical SocietyErnest Davis2023 · 86 citations
24. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
25. DOC: Improving Long Story Coherence With Detailed Outline ControlAnnual Meeting of the Association for Computational Linguistics (ACL)Kevin Yang, Dan Klein, Nanyun Peng, et al.2023 · 83 citations
26. 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
27. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
28. FIMO: A Challenge Formal Dataset for Automated Theorem ProvingarXiv:2309.04295Chengwu Liu, Jianhao Shen, Huajian Xin, et al.2023 · 53 citations
29. 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
30. Lean-STaR: Learning to Interleave Thinking and ProvingarXiv:2407.10040Haohan Lin, Zhiqing Sun, Sean Welleck, et al.2024 · 51 citations
31. TheoremLlama: Transforming General-Purpose LLMs into Lean4 ExpertsConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Jipeng Zhang, Yizhen Jia, et al.2024 · 51 citations
32. BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem ProvingAnnual Meeting of the Association for Computational Linguistics (ACL)Ran Xin, Chenguang Xi, Jie Yang, et al.2025 · 49 citations
33. Formal Mathematical Reasoning: A New Frontier in AIarXiv:2412.16075Kaiyu Yang, Gabriel Poesia, Jingxuan He, et al.2024 · 49 citations
34. A Survey on Deep Learning for Theorem ProvingarXiv:2404.09939Zhaoyu Li, Jialiang Sun, Logan Murphy, et al.2024 · 46 citations
35. Towards AI-Assisted Synthesis of Verified Dafny MethodsarXiv:2402.00247Md Rakib Hossain Misu, Cristina V. Lopes, Iris Ma, et al.2024 · 46 citations
36. Don't Trust: Verify — Grounding LLM Quantitative Reasoning with AutoformalizationarXiv:2403.18120Jin Peng Zhou, Charles Staats, Wenda Li, et al.2024 · 45 citations
37. Evaluating Language Models for Mathematics through InteractionsarXiv:2306.01694Katherine M. Collins, Albert Q. Jiang, Simon Frieder, et al.2023 · 40 citations
38. 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
39. Lean Copilot: Large Language Models as Copilots for Theorem Proving in LeanarXiv:2404.12534Peiyang Song, Kaiyu Yang, Anima Anandkumar2024 · 39 citations
40. Multilingual Mathematical AutoformalizationarXiv:2311.03755Albert Q. Jiang, Wenda Li, Mateja Jamnik2023 · 37 citations
41. Magnushammer: A Transformer-Based Approach to Premise SelectionarXiv:2303.04488Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.2023 · 35 citations
42. Herald: A Natural Language Annotated Lean 4 DatasetarXiv:2410.10878Guoxiong Gao, Yutong Wang, Jiedong Jiang, et al.2024 · 33 citations
43. Process-Driven Autoformalization in Lean 4arXiv:2406.01940Jianqiao Lu, Yingjia Wan, Zhengying Liu, et al.2024 · 33 citations
44. FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language ModelsarXiv:2505.02735Zhouliang Yu, Ruotian Peng, Keyi Ding, et al.2025 · 31 citations
45. Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2arXiv:2502.03544Yuri Chervonyi, Trieu H. Trinh, Miroslav Olšák, et al.2025 · 31 citations
46. Aristotle: IMO-level Automated Theorem ProvingSuperIntelligence - Robotics - Safety & AlignmentTudor Achim, Alex Best, Alberto Bietti, et al.2025 · 29 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. Transformers Can Achieve Length Generalization But Not RobustlyarXiv:2402.09371Yongchao Zhou, Uri Alon, Xinyun Chen, et al.2024 · 29 citations
49. Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem ProvingarXiv:2305.16366Xueliang Zhao, Wenda Li, Lingpeng Kong2023 · 29 citations
50. Lyra: Orchestrating Dual Correction in Automated Theorem ProvingarXiv:2309.15806Chuanyang Zheng, Haiming Wang, Enze Xie, et al.2023 · 24 citations
51. Autoformalizing Euclidean GeometryarXiv:2405.17216Logan Murphy, Kaiyu Yang, Jialiang Sun, et al.2024 · 23 citations
52. LEAN-GitHub: Compiling GitHub LEAN repositories for a versatile LEAN proverarXiv:2407.17227Zijian Wu, Jiayu Wang, Dahua Lin, et al.2024 · 23 citations
53. Certified Deductive Reasoning with Language ModelsarXiv:2306.04031Gabriel Poesia, Kanishk Gandhi, Eric Zelikman, et al.2023 · 23 citations
54. 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
55. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from ExperiencearXiv:2512.17260Jiangjie Chen, Wenxiang Chen, Jiacheng Du, et al.2025 · 19 citations
56. 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
57. Proving Theorems RecursivelyConference on Neural Information Processing Systems (NeurIPS)Haiming Wang, Huajian Xin, Zhengying Liu, et al.2024 · 19 citations
58. Towards a Mathematics Formalisation Assistant using Large Language ModelsarXiv:2211.07524Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, et al.2022 · 19 citations
59. FormalAlign: Automated Alignment Evaluation for AutoformalizationarXiv:2410.10135Jianqiao Lu, Yingjia Wan, Yinya Huang, et al.2024 · 18 citations
60. 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
61. 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
62. Solving Formal Math Problems by Decomposition and Iterative ReflectionarXiv:2507.15225Yichi Zhou, Jianqiu Zhao, Yongxin Zhang, et al.2025 · 16 citations
63. Neuro-Symbolic Data Generation for Math ReasoningConference on Neural Information Processing Systems (NeurIPS)Zenan Li, Zhi Zhou, Yuan Yao, et al.2024 · 14 citations
64. 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
65. Autoformalization in the Era of Large Language Models: A SurveyarXiv:2505.23486Ke Weng, Lun Du, Sirui Li, et al.2025 · 11 citations
66. 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
67. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
68. SubgoalXL: Subgoal-based Expert Learning for Theorem ProvingarXiv:2408.11172Xueliang Zhao, Lin Zheng, Haige Bo, et al.2024 · 10 citations
69. Mathesis: Towards Formal Theorem Proving from Natural LanguagesarXiv:2506.07047Yu Xuejun, Jianyuan Zhong, Zijin Feng, et al.2025 · 9 citations
70. 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
71. ReForm: Reflective Autoformalization with Prospective Bounded Sequence OptimizationarXiv:2510.24592Guoxin Chen, Jing Wu, Xinjie Chen, et al.2025 · 8 citations
72. A Survey on Feedback-based Multi-step Reasoning for Large Language Models on MathematicsarXiv:2502.14333Ting-Ruen Wei, Haowei Liu, Xuyang Wu, et al.2025 · 7 citations
73. Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math CapabilityConference on Empirical Methods in Natural Language Processing (EMNLP)Ruida Wang, Yuxin Li, Yi R. Fung, et al.2025 · 7 citations
74. 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
75. StepFun-Formalizer: Unlocking the Autoformalization Potential of LLMs through Knowledge-Reasoning FusionarXiv:2508.04440Yutong Wu, Di Huang, Ruosi Wan, et al.2025 · 7 citations
76. A New Approach Towards AutoformalizationarXiv:2310.07957Nilay Patel, Rahul Saha, Jeffrey Flanigan2023 · 7 citations
77. Autoformalizer with Tool FeedbackarXiv:2510.06857Qi Guo; Jianing Wang; Jianfei Zhang; Deyang Kong; Xiangzhou Huang; Xiangyu Xi; Wei Wang; Jingang Wang; Xunliang Cai; Shikun Zhang;, Wei Ye2025 · 6 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. GFLean: An Autoformalisation Framework for Lean via GFarXiv:2404.01234Shashank Pathak2024 · 5 citations
80. miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path ForwardConference on Neural Information Processing Systems (NeurIPS)Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh2025 · 4 citations
81. Graders Should Cheat: Privileged Information Enables Expert-Level Automated EvaluationsConference on Empirical Methods in Natural Language Processing (EMNLP)Jin Peng Zhou, Séb Arnold, Nan Ding, et al.2025 · 3 citations
82. Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver CompositionConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Xu, Pierre Beckmann, Marco Valentino, et al.2026 · 2 citations
83. Argument-Based Consistency in Toxicity Explanations of LLMsFindings of the Association for Computational LinguisticsRamaravind Kommiya Mothilal, Joanna Roy, Syed Ishtiaque Ahmed, et al.2026 · 2 citations
84. GIL-Zaragoza at SemEval 2026 Task 11: Comparing Classification, Autoformalization, and Ontologies for Formal Reasoning CapabilitiesInternational Workshop on Semantic Evaluation (SemEval)Francisco Lopez-Ponce, Lucia Pitarch, Iván Saavedra Martínez, et al.2026 · 1 citation
85. ReProbe: Efficient Test-Time Scaling of Multi-Step Reasoning by Probing Internal States of Large Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Jingwei Ni, Ekaterina Fadeeva, Tianyi Wu, et al.2026 · 1 citation
86. Solve-Detect-Verify: Inference-Time Scaling with Flexible Generative VerifierAnnual Meeting of the Association for Computational Linguistics (ACL)Jianyuan Zhong, Zeju Li, Zhijian Xu, et al.2026 · 1 citation
87. Beyond Memorization: Testing LLM Reasoning on Unseen Theory of Computation TasksFindings of the Association for Computational LinguisticsShlok Shelat, Jay Raval, Souvik Roy, et al.2026
88. CARL: Constraint-Aware Reinforcement Learning for Planning with LLMsFindings of the Association for Computational LinguisticsQiuyi Qi, Jinjian Zhang, Mutian Bao, et al.2026
89. 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
90. Format-Adapter: Improving Reasoning Capability of LLMs by Adapting Suitable FormatFindings of the Association for Computational LinguisticsDingzirui Wang, Xuanliang Zhang, Rongyu Cao, et al.2026
91. From Natural Language to Certified Geometry Proofs: A Survey of LLM-Augmented Verification and Neuro-Symbolic Theorem ProvingBig Picture v2: Crafting a Research NarrativeIoannis Tzachristas, Georgios Tzachristas2026
92. STCOR: A Trilevel Syllogism-Driven Reasoning FrameworkWorkshop on Argument MiningKeying Yang, Hao Wang, Chengtao Jian, et al.2026

94 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/charles-staats/cited-by/