---
title: "Who cites Alexander A. Alemi — 224 papers of our library"
description: "224 papers of the Elamur Research library cite the works of Alexander A. Alemi, found in their bibliographies · page 1 of 2 · 1–100; the most…"
canonical: "https://research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [Alexander A. Alemi](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/) / cited by

# Who cites Alexander A. Alemi

224 citations of their works from 224 papers of our library (of the 149,439 whose bibliographies we read) · 102 with a page here, the most cited first · page 1 of 2 · 1–100 · [← Alexander A. Alemi](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/)

**1** [2](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/page/2/) [next →](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/page/2/)

1. **[DeepSeek-R1: Incentivizing Reasoning Capability in LLMs via Reinforcement Learning](https://md.research.elamur.ai/free/en/papers/deepseek-ai-2025-deepseek-r1-incentivizing-reasoning-capability/) [Nature](https://md.research.elamur.ai/free/en/venues/nature/)**DeepSeek-AI, Daya Guo, Dejian Yang, et al.*2025 · 4,728 citations*
2. **[Solving Quantitative Reasoning Problems with Language Models](https://md.research.elamur.ai/free/en/papers/lewkowycz-2022-solving-quantitative-reasoning-problems-language/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.*2022 · 992 citations*
3. [**Scaling LLM Test-Time Compute Optimally can be More Effective than Scaling Model Parameters arXiv:2408.03314**Charlie Snell, Jaehoon Lee, Kelvin Xu, et al.*2024 · 567 citations*](https://md.research.elamur.ai/free/en/papers/snell-2024-scaling-llm-test-time-compute/)
4. [**Qwen2.5-Math Technical Report: Toward Mathematical Expert Model via Self-Improvement arXiv:2409.12122**An Yang, Beichen Zhang, Binyuan Hui, et al.*2024 · 417 citations*](https://md.research.elamur.ai/free/en/papers/yang-2024-qwen2-5-math-technical-report/)
5. [**On-Policy Distillation of Language Models: Learning from Self-Generated Mistakes arXiv:2306.13649**Rishabh Agarwal, Nino Vieillard, Yongchao Zhou, et al.*2023 · 299 citations*](https://md.research.elamur.ai/free/en/papers/agarwal-2023-policy-distillation-language-models-learning/)
6. **[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*
7. [**Generative Language Modeling for Automated Theorem Proving arXiv:2009.03393**Stanislas Polu, Ilya Sutskever*2020 · 241 citations*](https://md.research.elamur.ai/free/en/papers/polu-2020-generative-language-modeling-automated-theorem/)
8. **[On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Survey](https://md.research.elamur.ai/free/en/papers/long-2024-llms-driven-synthetic-data-generation/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Lin Long, Rui Wang, Ruixuan Xiao, et al.*2024 · 237 citations*
9. [**Autoformalization with Large Language Models arXiv:2205.12615**Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.*2022 · 204 citations*](https://md.research.elamur.ai/free/en/papers/wu-2022-autoformalization-large-language-models/)
10. **[ReST-MCTS*: LLM Self-Training via Process Reward Guided Tree Search](https://md.research.elamur.ai/free/en/papers/zhang-2024-rest-mcts-llm-self-training/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Dan Zhang, Sining Zhoubian, Ziniu Hu, et al.*2024 · 200 citations*
11. [**LLMs-as-Judges: A Comprehensive Survey on LLM-based Evaluation Methods arXiv:2412.05579**Haitao Li, Qian Dong, Junjie Chen, et al.*2024 · 195 citations*](https://md.research.elamur.ai/free/en/papers/li-2024-llms-judges-comprehensive-survey-llm/)
12. **[DataComp-LM: In search of the next generation of training sets for language models](https://md.research.elamur.ai/free/en/papers/li-2024-datacomp-lm-search-next-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Jeffrey Li, Alex Fang, Georgios Smyrnis, et al.*2024 · 191 citations*
13. **[Towards Reasoning Era: A Survey of Long Chain-of-Thought for Reasoning Large Language Models](https://md.research.elamur.ai/free/en/papers/chen-2025-towards-reasoning-era-survey-long/) [Science China Information Sciences](https://md.research.elamur.ai/free/en/venues/science-china-information-sciences/)**Qiguang Chen, Libo Qin, Jinhao Liu, et al.*2025 · 176 citations*
14. **[A Survey of Machine Learning for Big Code and Naturalness](https://md.research.elamur.ai/free/en/papers/allamanis-2017-survey-machine-learning-big-code/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Miltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.*2017 · 167 citations*
15. [**Training Language Models to Self-Correct via Reinforcement Learning arXiv:2409.12917**Aviral Kumar, Vincent Zhuang, Rishabh Agarwal, et al.*2024 · 159 citations*](https://md.research.elamur.ai/free/en/papers/kumar-2024-training-language-models-self-correct/)
16. [**SimpleRL-Zoo: Investigating and Taming Zero Reinforcement Learning for Open Base Models in the Wild arXiv:2503.18892**Weihao Zeng, Yuzhen Huang, Qian Liu, et al.*2025 · 154 citations*](https://md.research.elamur.ai/free/en/papers/zeng-2025-simplerl-zoo-investigating-taming-zero/)
17. **[Iterative Reasoning Preference Optimization](https://md.research.elamur.ai/free/en/papers/pang-2024-iterative-reasoning-preference-optimization/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Richard Yuanzhe Pang, Weizhe Yuan, Kyunghyun Cho, et al.*2024 · 153 citations*
18. [**Generative Verifiers: Reward Modeling as Next-Token Prediction arXiv:2408.15240**Lunjun Zhang, Arian Hosseini, Hritik Bansal, et al.*2024 · 152 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2024-generative-verifiers-reward-modeling-as/)
19. **[Many-Shot In-Context Learning](https://md.research.elamur.ai/free/en/papers/agarwal-2024-many-shot-context-learning/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Rishabh Agarwal, Avi Singh, Lei M. Zhang, et al.*2024 · 142 citations*
20. [**ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics arXiv:2302.12433**Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.*2023 · 142 citations*](https://md.research.elamur.ai/free/en/papers/azerbayev-2023-proofnet-autoformalizing-formally-proving-undergraduate/)
21. **[Deep Network Guided Proof Search](https://md.research.elamur.ai/free/en/papers/loos-2017-deep-network-guided-proof-search/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.*2017 · 139 citations*
22. **[ReFT: Reasoning with Reinforced Fine-Tuning](https://md.research.elamur.ai/free/en/papers/trung-2024-reft-reasoning-reinforced-fine-tuning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Luong Trung, Xinbo Zhang, Zhanming Jie, et al.*2024 · 134 citations*
23. [**Formal Mathematics Statement Curriculum Learning arXiv:2202.01344**Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.*2022 · 133 citations*](https://md.research.elamur.ai/free/en/papers/polu-2022-formal-mathematics-statement-curriculum-learning/)
24. [**Demystifying Long Chain-of-Thought Reasoning in LLMs arXiv:2502.03373**Edward Yeo, Yuxuan Tong, Morry Niu, et al.*2025 · 119 citations*](https://md.research.elamur.ai/free/en/papers/yeo-2025-demystifying-long-chain-thought-reasoning/)
25. [**V-STaR: Training Verifiers for Self-Taught Reasoners arXiv:2402.06457**Arian Hosseini, Xingdi Yuan, Nikolay Malkin, et al.*2024 · 114 citations*](https://md.research.elamur.ai/free/en/papers/hosseini-2024-v-star-training-verifiers-self/)
26. [**Premise Selection for Theorem Proving by Deep Graph Embedding arXiv:1709.09994**Mingzhe Wang, Yihe Tang, Jian Wang, et al.*2017 · 106 citations*](https://md.research.elamur.ai/free/en/papers/wang-2017-premise-selection-theorem-proving-deep/)
27. [**GamePad: A Learning Environment for Theorem Proving arXiv:1806.00608**Daniel Huang, Prafulla Dhariwal, Dawn Song, et al.*2018 · 94 citations*](https://md.research.elamur.ai/free/en/papers/huang-2018-gamepad-learning-environment-theorem-proving/)
28. [**Rewarding Progress: Scaling Automated Process Verifiers for LLM Reasoning arXiv:2410.08146**Amrith Setlur, Chirag Nagpal, Adam Fisch, et al.*2024 · 93 citations*](https://md.research.elamur.ai/free/en/papers/setlur-2024-rewarding-progress-scaling-automated-process/)
29. [**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/)
30. [**Learning to Prove Theorems via Interacting with Proof Assistants arXiv:1905.09381**Kaiyu Yang, Jia Deng*2019 · 90 citations*](https://md.research.elamur.ai/free/en/papers/yang-2019-learning-prove-theorems-interacting-proof/)
31. [**Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving arXiv:2502.07640**Yong Lin, Shange Tang, Bohan Lyu, et al.*2025 · 84 citations*](https://md.research.elamur.ai/free/en/papers/lin-2025-goedel-prover-frontier-model-open/)
32. [**DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving arXiv:2407.13690**Yuxuan Tong, Xiwen Zhang, Rui Wang, et al.*2024 · 81 citations*](https://md.research.elamur.ai/free/en/papers/tong-2024-dart-math-difficulty-aware-rejection/)
33. [**A Survey on Test-Time Scaling in Large Language Models: What, How, Where, and How Well? arXiv:2503.24235**Qiyuan Zhang, Fuyuan Lyu, Zexu Sun, et al.*2025 · 79 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-survey-test-time-scaling-large/)
34. [**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/)
35. [**Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893**Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.*2022 · 79 citations*](https://md.research.elamur.ai/free/en/papers/jiang-2022-thor-wielding-hammers-integrate-language/)
36. [**HOList: An Environment for Machine Learning of Higher-Order Theorem Proving arXiv:1904.03241**Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.*2019 · 78 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-holist-environment-machine-learning-higher/)
37. [**NaturalProofs: Mathematical Theorem Proving in Natural Language arXiv:2104.01112**Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.*2021 · 76 citations*](https://md.research.elamur.ai/free/en/papers/welleck-2021-naturalproofs-mathematical-theorem-proving-natural/)
38. [**Generating Correctness Proofs with Neural Networks arXiv:1907.07794**Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul, et al.*2019 · 69 citations*](https://md.research.elamur.ai/free/en/papers/stern-2019-generating-correctness-proofs-neural-networks/)
39. [**Agent Q: Advanced Reasoning and Learning for Autonomous AI Agents arXiv:2408.07199**Pranav Putta, Edmund Mills, Naman Garg, et al.*2024 · 68 citations*](https://md.research.elamur.ai/free/en/papers/putta-2024-agent-q-advanced-reasoning-learning/)
40. **[Modular Pluralism: Pluralistic Alignment via Multi-LLM Collaboration](https://md.research.elamur.ai/free/en/papers/feng-2024-modular-pluralism-pluralistic-alignment-multi/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Shangbin Feng, Taylor Sorensen, Yuhan Liu, et al.*2024 · 68 citations*
41. [**VinePPO: Refining Credit Assignment in RL Training of LLMs arXiv:2410.01679**Amirhossein Kazemnejad, Milad Aghajohari, Eva Portelance, et al.*2024 · 63 citations*](https://md.research.elamur.ai/free/en/papers/kazemnejad-2024-vineppo-refining-credit-assignment-rl/)
42. **[Small Models Struggle to Learn from Strong Reasoners](https://md.research.elamur.ai/free/en/papers/li-2025-small-models-struggle-learn-strong/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yuetai Li, Xiang Yue, Zhangchen Xu, et al.*2025 · 61 citations*
43. **[ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E](https://md.research.elamur.ai/free/en/papers/chvalovsky-2019-enigma-ng-efficient-neural-gradient/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Karel Chvalovský, Jan Jakubův, Martin Suda, et al.*2019 · 61 citations*
44. **[MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs](https://md.research.elamur.ai/free/en/papers/lu-2024-mathgenie-generating-synthetic-data-question/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Zimu Lu, Aojun Zhou, Houxing Ren, et al.*2024 · 58 citations*
45. [**Premise Order Matters in Reasoning with Large Language Models arXiv:2402.08939**Xinyun Chen, Ryan A. Chi, Xuezhi Wang, et al.*2024 · 58 citations*](https://md.research.elamur.ai/free/en/papers/chen-2024-premise-order-matters-reasoning-large/)
46. [**Learning Continuous Semantic Representations of Symbolic Expressions arXiv:1611.01423**Miltiadis Allamanis, Pankajan Chanthirasegaran, Pushmeet Kohli, et al.*2016 · 57 citations*](https://md.research.elamur.ai/free/en/papers/allamanis-2016-learning-continuous-semantic-representations-symbolic/)
47. **[RL on Incorrect Synthetic Data Scales the Efficiency of LLM Math Reasoning by Eight-Fold](https://md.research.elamur.ai/free/en/papers/setlur-2024-rl-incorrect-synthetic-data-scales/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Amrith Setlur, Saurabh Garg, Xinyang Geng, et al.*2024 · 56 citations*
48. [**Learning to Prove Theorems by Learning to Generate Theorems arXiv:2002.07019**Mingzhe Wang, Jia Deng*2020 · 53 citations*](https://md.research.elamur.ai/free/en/papers/wang-2020-learning-prove-theorems-learning-generate/)
49. **[Easy-to-Hard Generalization: Scalable Alignment Beyond Human Supervision](https://md.research.elamur.ai/free/en/papers/sun-2024-easy-hard-generalization-scalable-alignment/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhiqing Sun, Longhui Yu, Yikang Shen, et al.*2024 · 51 citations*
50. [**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/)
51. [**Reinforcement Learning of Theorem Proving arXiv:1805.07563**Cezary Kaliszyk, Josef Urban, Henryk Michalewski, et al.*2018 · 50 citations*](https://md.research.elamur.ai/free/en/papers/kaliszyk-2018-reinforcement-learning-theorem-proving/)
52. [**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/)
53. [**HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving arXiv:1703.00426**Cezary Kaliszyk, François Chollet, Christian Szegedy*2017 · 48 citations*](https://md.research.elamur.ai/free/en/papers/kaliszyk-2017-holstep-machine-learning-dataset-higher/)
54. [**Holophrasm: a neural Automated Theorem Prover for higher-order logic arXiv:1608.02644**Daniel Whalen*2016 · 48 citations*](https://md.research.elamur.ai/free/en/papers/whalen-2016-holophrasm-neural-automated-theorem-prover/)
55. [**Darwin Godel Machine: Open-Ended Evolution of Self-Improving Agents arXiv:2505.22954**Jenny Zhang, Shengran Hu, Cong Lu, et al.*2025 · 47 citations*](https://md.research.elamur.ai/free/en/papers/zhang-2025-darwin-godel-machine-open/)
56. [**DeepSeek-R1 Thoughtology: Let's think about LLM Reasoning arXiv:2504.07128**Sara Vera Marjanovic, Arkil Patel, Vaibhav Adlakha, et al.*2025 · 47 citations*](https://md.research.elamur.ai/free/en/papers/marjanovic-2025-deepseek-r1-thoughtology-let-s/)
57. [**Towards System 2 Reasoning in LLMs: Learning How to Think With Meta Chain-of-Thought arXiv:2501.04682**Violet Xiang, Charlie Snell, Kanishk Gandhi, et al.*2025 · 47 citations*](https://md.research.elamur.ai/free/en/papers/xiang-2025-towards-system-2-reasoning-llms/)
58. [**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/)
59. [**Direct Nash Optimization: Teaching Language Models to Self-Improve with General Preferences arXiv:2404.03715**Corby Rosset, Ching-An Cheng, Arindam Mitra, et al.*2024 · 44 citations*](https://md.research.elamur.ai/free/en/papers/rosset-2024-direct-nash-optimization-teaching-language/)
60. **[Premise Selection in Natural Language Mathematical Texts](https://md.research.elamur.ai/free/en/papers/ferreira-2020-premise-selection-natural-language-mathematical/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Deborah Ferreira, André Freitas*2020 · 44 citations*
61. [**IsarStep: a Benchmark for High-level Mathematical Reasoning arXiv:2006.09265**Wenda Li, Lei Yu, Yuhuai Wu, et al.*2020 · 43 citations*](https://md.research.elamur.ai/free/en/papers/li-2020-isarstep-benchmark-high-level-mathematical/)
62. [**INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving arXiv:2007.02924**Yuhuai Wu, Albert Qiaochu Jiang, Jimmy Ba, et al.*2020 · 41 citations*](https://md.research.elamur.ai/free/en/papers/wu-2020-int-inequality-benchmark-evaluating-generalization/)
63. **[DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function](https://md.research.elamur.ai/free/en/papers/wang-2023-dt-solver-automated-theorem-proving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Haiming Wang, Ye Yuan, Zhengying Liu, et al.*2023 · 40 citations*
64. [**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/)
65. [**RedStar: Does Scaling Long-CoT Data Unlock Better Slow-Reasoning Systems? arXiv:2501.11284**Haotian Xu, Xing Wu, Weinong Wang, et al.*2025 · 37 citations*](https://md.research.elamur.ai/free/en/papers/xu-2025-redstar-scaling-long-cot-data/)
66. [**Learning to Reason in Large Theories without Imitation arXiv:1905.10501**Kshitij Bansal, Christian Szegedy, Markus N. Rabe, et al.*2019 · 36 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2019-learning-reason-large-theories-without/)
67. [**Functional Benchmarks for Robust Evaluation of Reasoning Performance, and the Reasoning Gap arXiv:2402.19450**Saurabh Srivastava, Annarose M B, Anto P, et al.*2024 · 35 citations*](https://md.research.elamur.ai/free/en/papers/srivastava-2024-functional-benchmarks-robust-evaluation-reasoning/)
68. [**Magnushammer: A Transformer-Based Approach to Premise Selection arXiv:2303.04488**Maciej Mikuła, Szymon Tworkowski, Szymon Antoniak, et al.*2023 · 35 citations*](https://md.research.elamur.ai/free/en/papers/mikula-2023-magnushammer-transformer-based-approach-premise/)
69. [**AgentGym: Evolving Large Language Model-based Agents across Diverse Environments arXiv:2406.04151**Zhiheng Xi, Yiwen Ding, Wenxiang Chen, et al.*2024 · 33 citations*](https://md.research.elamur.ai/free/en/papers/xi-2024-agentgym-evolving-large-language-model/)
70. [**Mathematical Reasoning in Latent Space arXiv:1909.11851**Dennis Lee, Christian Szegedy, Markus N. Rabe, et al.*2019 · 33 citations*](https://md.research.elamur.ai/free/en/papers/lee-2019-mathematical-reasoning-latent-space/)
71. **[Learning Planning-based Reasoning by Trajectories Collection and Process Reward Synthesizing](https://md.research.elamur.ai/free/en/papers/jiao-2024-learning-planning-based-reasoning-trajectories/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Fangkai Jiao, Chengwei Qin, Zhengyuan Liu, et al.*2024 · 31 citations*
72. **[Property Invariant Embedding for Automated Reasoning](https://md.research.elamur.ai/free/en/papers/olsak-2019-property-invariant-embedding-automated-reasoning/) [Frontiers in artificial intelligence and applications](https://md.research.elamur.ai/free/en/venues/frontiers-in-artificial-intelligence-and-applications/)**Miroslav Olšák, Cezary Kaliszyk, Josef Urban*2019 · 30 citations*
73. [**Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling arXiv:2408.16737**Hritik Bansal, Arian Hosseini, Rishabh Agarwal, et al.*2024 · 27 citations*](https://md.research.elamur.ai/free/en/papers/bansal-2024-smaller-weaker-yet-better-training/)
74. **[A Survey on Large Language Models for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/wang-2025-survey-large-language-models-mathematical/) [ACM Computing Surveys](https://md.research.elamur.ai/free/en/venues/acm-computing-surveys/)**Peng-Yuan Wang, Tian-Shuo Liu, Chenyang Wang, et al.*2025 · 26 citations*
75. **[NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions](https://md.research.elamur.ai/free/en/papers/yuan-2025-naturalreasoning-reasoning-wild-2-8m/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Weizhe Yuan, Jane Yu, Song Jiang, et al.*2025 · 26 citations*
76. [**Scaling Test-Time Compute Without Verification or RL is Suboptimal arXiv:2502.12118**Amrith Setlur, Nived Rajaraman, Sergey Levine, et al.*2025 · 26 citations*](https://md.research.elamur.ai/free/en/papers/setlur-2025-scaling-test-time-compute-verification/)
77. **[Learning Formal Mathematics From Intrinsic Motivation](https://md.research.elamur.ai/free/en/papers/poesia-2024-learning-formal-mathematics-intrinsic-motivation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Gabriel Poesia, David Broman, Nick Haber, et al.*2024 · 23 citations*
78. [**MiniCPM4: Ultra-Efficient LLMs on End Devices arXiv:2506.07900**MiniCPM Team, Chaojun Xiao, Yuxuan Li, et al.*2025 · 22 citations*](https://md.research.elamur.ai/free/en/papers/minicpm-team-2025-minicpm4-ultra-efficient-llms/)
79. **[ReARTeR: Retrieval-Augmented Reasoning with Trustworthy Process Rewarding](https://md.research.elamur.ai/free/en/papers/sun-2025-rearter-retrieval-augmented-reasoning-trustworthy/) [International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR)](https://md.research.elamur.ai/free/en/venues/international-acm-sigir-conference-on-research-and-development-in-information/)**Zhongxiang Sun, Qipeng Wang, Weijie Yu, et al.*2025 · 22 citations*
80. **[Stateful Premise Selection by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2020-stateful-premise-selection-recurrent-neural/) [EPiC series in computing](https://md.research.elamur.ai/free/en/venues/epic-series-in-computing/)**Bartosz Piotrowski, Josef Urban*2020 · 21 citations*
81. [**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/)
82. [**Surveying the Effects of Quality, Diversity, and Complexity in Synthetic Data From Large Language Models arXiv:2412.02980**Alex Havrilla, Andrew Dai, Laura O'Mahony, et al.*2024 · 17 citations*](https://md.research.elamur.ai/free/en/papers/havrilla-2024-surveying-effects-quality-diversity-complexity/)
83. [**Can Large Reasoning Models Self-Train? arXiv:2505.21444**Sheikh Shafayat, Fahim Tajwar, Ruslan Salakhutdinov, et al.*2025 · 16 citations*](https://md.research.elamur.ai/free/en/papers/shafayat-2025-large-reasoning-models-self-train/)
84. [**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/)
85. [**Guiding High-Performance SAT Solvers with Unsat-Core Predictions arXiv:1903.04671 (International Conference on Theory and Applications of Satisfiability Testing. Springer, Cham, 2019)**Daniel Selsam, Nikolaj Bjørner*2019 · 16 citations*](https://md.research.elamur.ai/free/en/papers/selsam-2019-guiding-high-performance-sat-solvers/)
86. **[Interactive Evolution: A Neural-Symbolic Self-Training Framework For Large Language Models](https://md.research.elamur.ai/free/en/papers/xu-2025-interactive-evolution-neural-symbolic-self/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Fangzhi Xu, Qiushi Sun, Kanzhi Cheng, et al.*2025 · 15 citations*
87. [**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/)
88. [**Mastering Board Games by External and Internal Planning with Language Models arXiv:2412.12119**John Schultz, Jakub Adamek, Matej Jusup, et al.*2024 · 14 citations*](https://md.research.elamur.ai/free/en/papers/schultz-2024-mastering-board-games-external-internal/)
89. [**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/)
90. [**Algorithm Discovery With LLMs: Evolutionary Search Meets Reinforcement Learning arXiv:2504.05108**Anja Surina, Amin Mansouri, Lars Quaedvlieg, et al.*2025 · 12 citations*](https://md.research.elamur.ai/free/en/papers/surina-2025-algorithm-discovery-llms-evolutionary-search/)
91. [**Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning arXiv:1807.08058**Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.*2018 · 12 citations*](https://md.research.elamur.ai/free/en/papers/lederman-2018-learning-heuristics-quantified-boolean-formulas/)
92. [**Progress or Regress? Self-Improvement Reversal in Post-training arXiv:2407.05013**Ting Wu, Xuefeng Li, Pengfei Liu*2024 · 10 citations*](https://md.research.elamur.ai/free/en/papers/wu-2024-progress-regress-self-improvement-reversal/)
93. [**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/)
94. **[HS-STaR: Hierarchical Sampling for Self-Taught Reasoners via Difficulty Estimation and Budget Reallocation](https://md.research.elamur.ai/free/en/papers/xiong-2025-hs-star-hierarchical-sampling-self/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Feng Xiong, Hongling Xu, Yifei Wang, et al.*2025 · 9 citations*
95. **[To Code or not to Code? Adaptive Tool Integration for Math Language Models via Expectation-Maximization](https://md.research.elamur.ai/free/en/papers/wang-2025-code-or-not-code-adaptive/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Haozhe Wang, Long Li, Chao Qu, et al.*2025 · 9 citations*
96. **[Superficial Self-Improved Reasoners Benefit from Model Merging](https://md.research.elamur.ai/free/en/papers/yuan-2025-superficial-self-improved-reasoners-benefit/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Xiangchi Yuan, Chunhui Zhang, Zheyuan Liu, et al.*2025 · 8 citations*
97. **[Enhancing Auto-regressive Chain-of-Thought through Loop-Aligned Reasoning](https://md.research.elamur.ai/free/en/papers/yu-2026-enhancing-auto-regressive-chain-thought/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Qifan Yu, Zhenyu He, Sijie Li, et al.*2026 · 5 citations*
98. **[MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation](https://md.research.elamur.ai/free/en/papers/liang-2025-mps-prover-advancing-stepwise-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zhenwen Liang, Linfeng Song, Yang Li, et al.*2025 · 4 citations*
99. **[An Iterative Utility Judgment Framework Inspired by Philosophical Relevance via LLMs](https://md.research.elamur.ai/free/en/papers/zhang-2026-iterative-utility-judgment-framework-inspired/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Hengran Zhang, Keping Bi, Jiafeng Guo, et al.*2026*
100. **[Decoupling Generalization and Adaptation in Meta-Learning for Large Language Models](https://md.research.elamur.ai/free/en/papers/vetcha-2026-decoupling-generalization-adaptation-meta-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Nitin Vetcha, Binqian Xu, Dianbo Liu*2026*

**1** [2](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/page/2/) [next →](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/cited-by/page/2/)

- [← back to](https://md.research.elamur.ai/free/en/authors/alexander-a-alemi/) — Alexander A. Alemi