---
title: "Who cites David Saxton — 314 papers of our library"
description: "314 papers of the Elamur Research library cite the works of David Saxton, found in their bibliographies · page 1 of 2 · 1–100; the most cited first."
canonical: "https://research.elamur.ai/free/en/authors/david-saxton/cited-by/"
---
[Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/david-saxton/cited-by/)

[home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / [David Saxton](https://md.research.elamur.ai/free/en/authors/david-saxton/) / cited by

# Who cites David Saxton

323 citations of their works from 314 papers of our library (of the 149,439 whose bibliographies we read) · 106 with a page here, the most cited first · page 1 of 2 · 1–100 · [← David Saxton](https://md.research.elamur.ai/free/en/authors/david-saxton/)

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

1. **[Continual Lifelong Learning with Neural Networks: A Review](https://md.research.elamur.ai/free/en/papers/parisi-2018-continual-lifelong-learning-neural-networks/) [Neural Networks](https://md.research.elamur.ai/free/en/venues/neural-networks/)**German I. Parisi, Ronald Kemker, Jose L. Part, et al.*2018 · 3,224 citations*
2. [**Measuring Mathematical Problem Solving With the MATH Dataset arXiv:2103.03874**Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.*2021 · 2,395 citations*](https://md.research.elamur.ai/free/en/papers/hendrycks-2021-measuring-mathematical-problem-solving-math/)
3. [**Relational inductive biases, deep learning, and graph networks arXiv:1806.01261**Peter W. Battaglia, Jessica B. Hamrick, Victor Bapst, et al.*2018 · 2,335 citations*](https://md.research.elamur.ai/free/en/papers/battaglia-2018-relational-inductive-biases-deep-learning/)
4. [**Finetuned Language Models Are Zero-Shot Learners arXiv:2109.01652**Jason Wei, Maarten Bosma, Vincent Y. Zhao, et al.*2021 · 1,954 citations*](https://md.research.elamur.ai/free/en/papers/wei-2021-finetuned-language-models-zero-shot/)
5. [**Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language models arXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5Bvosj**Aarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.*2022 · 1,756 citations*](https://md.research.elamur.ai/free/en/papers/srivastava-2022-imitation-game-quantifying-extrapolating-capabilities/)
6. [**A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and Interactivity arXiv:2302.04023**Yejin Bang, Samuel Cahyawijaya, Nayeon Lee, et al.*2023 · 882 citations*](https://md.research.elamur.ai/free/en/papers/bang-2023-multitask-multilingual-multimodal-evaluation-chatgpt/)
7. **[GPT-NeoX-20B: An Open-Source Autoregressive Language Model](https://md.research.elamur.ai/free/en/papers/black-2022-gpt-neox-20b-open-source/) [BigScience Episode – Workshop on Challenges & Perspectives in Creating Large Language Models](https://md.research.elamur.ai/free/en/venues/bigscience/)**Sidney Black, Stella Biderman, Eric Hallahan, et al.*2022 · 831 citations*
8. **[ChartQA: A Benchmark for Question Answering about Charts with Visual and Logical Reasoning](https://md.research.elamur.ai/free/en/papers/masry-2022-chartqa-benchmark-question-answering-about/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Ahmed Masry, Do Xuan Long, Jia Qing Tan, et al.*2022 · 774 citations*
9. [**HybridFlow: A Flexible and Efficient RLHF Framework arXiv:2409.19256**Guangming Sheng, Chi Zhang, Zilingfeng Ye, et al.*2024 · 624 citations*](https://md.research.elamur.ai/free/en/papers/sheng-2024-hybridflow-flexible-efficient-rlhf-framework/)
10. [**Show your work: Scratchpads for intermediate computation with language models***2021 · 473 citations*](https://md.research.elamur.ai/free/en/papers/al-2021-show-your-work-scratchpads-intermediate/)
11. [**Tulu 3: Pushing Frontiers in Open Language Model Post-Training arXiv:2411.15124**Nathan Lambert, Jacob Morrison, Valentina Pyatkin, et al.*2024 · 423 citations*](https://md.research.elamur.ai/free/en/papers/lambert-2024-tulu-3-pushing-frontiers-open/)
12. [**Hindsight Experience Replay arXiv:1707.01495**Marcin Andrychowicz, Filip Wolski, Alex Ray, et al.*2017 · 421 citations*](https://md.research.elamur.ai/free/en/papers/andrychowicz-2017-hindsight-experience-replay/)
13. **[WebShop: Towards Scalable Real-World Web Interaction with Grounded Language Agents](https://md.research.elamur.ai/free/en/papers/yao-2022-webshop-towards-scalable-real-world/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Shunyu Yao, Howard Chen, John Yang, et al.*2022 · 420 citations*
14. [**Learning Latent Dynamics for Planning from Pixels arXiv:1811.04551**Danijar Hafner, Timothy Lillicrap, Ian Fischer, et al.*2018 · 394 citations*](https://md.research.elamur.ai/free/en/papers/hafner-2018-learning-latent-dynamics-planning-pixels/)
15. **[Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General Agents](https://md.research.elamur.ai/free/en/papers/machado-2017-revisiting-arcade-learning-environment-evaluation/) [Journal of Artificial Intelligence Research](https://md.research.elamur.ai/free/en/venues/journal-of-artificial-intelligence-research/)**Marlos C. Machado, Marc G. Bellemare, Erik Talvitie, et al.*2017 · 393 citations*
16. **[Transformers as Soft Reasoners over Language](https://md.research.elamur.ai/free/en/papers/clark-2020-transformers-soft-reasoners-over-language/) [International Joint Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/international-joint-conference-on-artificial-intelligence/)**Peter Clark, Oyvind Tafjord, Kyle Richardson*2020 · 382 citations*
17. **[Do NLP Models Know Numbers? Probing Numeracy in Embeddings](https://md.research.elamur.ai/free/en/papers/wallace-2019-do-nlp-models-know-numbers/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Eric Wallace, Yizhong Wang, Sujian Li, et al.*2019 · 352 citations*
18. [**The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence arXiv:2002.06177**Gary Marcus*2020 · 332 citations*](https://md.research.elamur.ai/free/en/papers/marcus-2020-next-decade-ai-four/)
19. [**PromptRobust: Towards Evaluating the Robustness of Large Language Models on Adversarial Prompts arXiv:2306.04528**Kaijie Zhu, Jindong Wang, Jiaheng Zhou, et al.*2023 · 305 citations*](https://md.research.elamur.ai/free/en/papers/zhu-2023-promptrobust-towards-evaluating-robustness-large/)
20. [**Exploration by Random Network Distillation arXiv:1810.12894**Yuri Burda, Harrison Edwards, Amos Storkey, et al.*2018 · 302 citations*](https://md.research.elamur.ai/free/en/papers/burda-2018-exploration-random-network-distillation/)
21. [**Analysing Mathematical Reasoning Abilities of Neural Models arXiv:1904.01557**David Saxton, Edward Grefenstette, Felix Hill, et al.*2019 · 288 citations*](https://md.research.elamur.ai/free/en/papers/saxton-2019-analysing-mathematical-reasoning-abilities-neural/)
22. [**Scaling Laws for Autoregressive Generative Modeling arXiv:2010.14701**Tom Henighan, Jared Kaplan, Mor Katz, et al.*2020 · 277 citations*](https://md.research.elamur.ai/free/en/papers/henighan-2020-scaling-laws-autoregressive-generative-modeling/)
23. **[Injecting Numerical Reasoning Skills into Language Models](https://md.research.elamur.ai/free/en/papers/geva-2020-injecting-numerical-reasoning-skills-into/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Mor Geva, Ankit Gupta, Jonathan Berant*2020 · 269 citations*
24. [**Scaling Relationship on Learning Mathematical Reasoning with Large Language Models arXiv:2308.01825**Zheng Yuan, Hongyi Yuan, Chengpeng Li, et al.*2023 · 261 citations*](https://md.research.elamur.ai/free/en/papers/yuan-2023-scaling-relationship-learning-mathematical-reasoning/)
25. [**MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics arXiv:2109.00110**Kunhao Zheng, Jesse Michael Han, Stanislas Polu*2021 · 257 citations*](https://md.research.elamur.ai/free/en/papers/zheng-2021-minif2f-cross-system-benchmark-formal/)
26. [**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/)
27. **[From Language to Programs: Bridging Reinforcement Learning and Maximum Marginal Likelihood](https://md.research.elamur.ai/free/en/papers/guu-2017-language-programs-bridging-reinforcement-learning/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Kelvin Guu, Panupong Pasupat, Evan Liu, et al.*2017 · 236 citations*
28. [**Agent57: Outperforming the Atari Human Benchmark arXiv:2003.13350**Adrià Puigdomènech Badia, Bilal Piot, Steven Kapturowski, et al.*2020 · 235 citations*](https://md.research.elamur.ai/free/en/papers/badia-2020-agent57-outperforming-atari-human-benchmark/)
29. [**Learning a SAT Solver from Single-Bit Supervision arXiv:1802.03685**Daniel Selsam, Matthew Lamm, Benedikt Bünz, et al.*2018 · 232 citations*](https://md.research.elamur.ai/free/en/papers/selsam-2018-learning-sat-solver-single-bit/)
30. **[The Importance of Being Recurrent for Modeling Hierarchical Structure](https://md.research.elamur.ai/free/en/papers/tran-2018-importance-being-recurrent-modeling-hierarchical/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Ke Tran, Arianna Bisazza, Christof Monz*2018 · 228 citations*
31. [**Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language Models arXiv:2308.16149**Neha Sengupta, Sunil Kumar Sahu, Bokang Jia, et al.*2023 · 218 citations*](https://md.research.elamur.ai/free/en/papers/sengupta-2023-jais-jais-chat-arabic-centric/)
32. **[NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks](https://md.research.elamur.ai/free/en/papers/mishra-2022-numglue-suite-fundamental-yet-challenging/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Swaroop Mishra, Arindam Mitra, Neeraj Varshney, et al.*2022 · 197 citations*
33. [**Automatic Goal Generation for Reinforcement Learning Agents arXiv:1705.06366**Carlos Florensa, David Held, Xinyang Geng, et al.*2017 · 181 citations*](https://md.research.elamur.ai/free/en/papers/florensa-2017-automatic-goal-generation-reinforcement-learning/)
34. **[LILA: A Unified Benchmark for Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/mishra-2022-lila-unified-benchmark-mathematical-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.*2022 · 179 citations*
35. [**Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasets arXiv:2201.02177**Alethea Power, Yuri Burda, Harri Edwards, et al.*2022 · 177 citations*](https://md.research.elamur.ai/free/en/papers/power-2022-grokking-generalization-overfitting-small-algorithmic/)
36. **[Impact of Pretraining Term Frequencies on Few-Shot Numerical Reasoning](https://md.research.elamur.ai/free/en/papers/razeghi-2022-impact-pretraining-term-frequencies-few/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Yasaman Razeghi, Robert L Logan IV, Matt Gardner, et al.*2022 · 165 citations*
37. [**Orca 2: Teaching Small Language Models How to Reason arXiv:2311.11045**Arindam Mitra, Luciano Del Corro, Shweti Mahajan, et al.*2023 · 162 citations*](https://md.research.elamur.ai/free/en/papers/mitra-2023-orca-2-teaching-small-language/)
38. [**Compositionality decomposed: how do neural networks generalise? arXiv:1908.08351**Dieuwke Hupkes, Verna Dankers, Mathijs Mul, et al.*2019 · 162 citations*](https://md.research.elamur.ai/free/en/papers/hupkes-2019-compositionality-decomposed-neural-networks-generalise/)
39. **[TheoremQA: A Theorem-driven Question Answering Dataset](https://md.research.elamur.ai/free/en/papers/chen-2023-theoremqa-theorem-driven-question-answering/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Wenhu Chen, Ming Yin, Max Ku, et al.*2023 · 158 citations*
40. **[HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.*2022 · 151 citations*
41. [**A Review on Language Models as Knowledge Bases arXiv:2204.06031**Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.*2022 · 150 citations*](https://md.research.elamur.ai/free/en/papers/alkhamissi-2022-review-language-models-knowledge-bases/)
42. [**Diversity is All You Need: Learning Skills without a Reward Function arXiv:1802.06070**Benjamin Eysenbach, Abhishek Gupta, Julian Ibarz, et al.*2018 · 145 citations*](https://md.research.elamur.ai/free/en/papers/eysenbach-2018-diversity-all-need-learning-skills/)
43. **[Representing Numbers in NLP: a Survey and a Vision](https://md.research.elamur.ai/free/en/papers/thawani-2021-representing-numbers-nlp-survey-vision/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Avijit Thawani, Jay Pujara, Filip Ilievski, et al.*2021 · 139 citations*
44. [**Deep Learning for Symbolic Mathematics arXiv:1912.01412**Guillaume Lample, François Charton*2019 · 138 citations*](https://md.research.elamur.ai/free/en/papers/lample-2019-deep-learning-symbolic-mathematics/)
45. **[The Impact of Positional Encoding on Length Generalization in Transformers](https://md.research.elamur.ai/free/en/papers/kazemnejad-2023-impact-positional-encoding-length-generalization/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Amirhossein Kazemnejad, Inkit Padhi, Karthikeyan Natesan Ramamurthy, et al.*2023 · 134 citations*
46. [**Olmo 3 arXiv:2512.13961**Team Olmo: Allyson Ettinger, Amanda Bertsch, Bailey Kuehl, et al.*2025 · 130 citations*](https://md.research.elamur.ai/free/en/papers/ettinger-2025-olmo-3/)
47. **[Giving BERT a Calculator: Finding Operations and Arguments with Reading Comprehension](https://md.research.elamur.ai/free/en/papers/andor-2019-giving-bert-calculator-finding-operations/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Daniel Andor, Luheng He, Kenton Lee, et al.*2019 · 126 citations*
48. **[Analyzing Compositionality-Sensitivity of NLI Models](https://md.research.elamur.ai/free/en/papers/nie-2018-analyzing-compositionality-sensitivity-nli-models/) [Proceedings of the AAAI Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-aaai-conference-on-artificial-intelligence/)**Yixin Nie, Yicheng Wang, Mohit Bansal*2018 · 121 citations*
49. [**Best Practices and Lessons Learned on Synthetic Data arXiv:2404.07503**Ruibo Liu, Jerry Wei, Fangyu Liu, et al.*2024 · 119 citations*](https://md.research.elamur.ai/free/en/papers/liu-2024-best-practices-lessons-learned-synthetic/)
50. [**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/)
51. [**Gemma Scope: Open Sparse Autoencoders Everywhere All At Once on Gemma 2 arXiv:2408.05147**Tom Lieberum, Senthooran Rajamanoharan, Arthur Conmy, et al.*2024 · 115 citations*](https://md.research.elamur.ai/free/en/papers/lieberum-2024-gemma-scope-open-sparse-autoencoders/)
52. [**Branch-Train-Merge: Embarrassingly Parallel Training of Expert Language Models arXiv:2208.03306**Margaret Li, Suchin Gururangan, Tim Dettmers, et al.*2022 · 114 citations*](https://md.research.elamur.ai/free/en/papers/li-2022-branch-train-merge-embarrassingly-parallel/)
53. [**ALLaM: Large Language Models for Arabic and English arXiv:2407.15390**M Saiful Bari, Yazeed Alnumay, Norah A. Alzahrani, et al.*2024 · 113 citations*](https://md.research.elamur.ai/free/en/papers/bari-2024-allam-large-language-models-arabic/)
54. **[PRover: Proof Generation for Interpretable Reasoning over Rules](https://md.research.elamur.ai/free/en/papers/saha-2020-prover-proof-generation-interpretable-reasoning/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.*2020 · 103 citations*
55. [**MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning arXiv:2310.03731**Ke Wang, Houxing Ren, Aojun Zhou, et al.*2023 · 99 citations*](https://md.research.elamur.ai/free/en/papers/wang-2023-mathcoder-seamless-code-integration-llms/)
56. [**Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit Knowledge arXiv:2006.06609**Alon Talmor, Oyvind Tafjord, Peter Clark, et al.*2020 · 98 citations*](https://md.research.elamur.ai/free/en/papers/talmor-2020-leap-thought-teaching-pre-trained/)
57. [**Teaching Algorithmic Reasoning via In-context Learning arXiv:2211.09066**Hattie Zhou, Azade Nova, Hugo Larochelle, et al.*2022 · 96 citations*](https://md.research.elamur.ai/free/en/papers/zhou-2022-teaching-algorithmic-reasoning-context-learning/)
58. [**Investigating the Limitations of Transformers with Simple Arithmetic Tasks arXiv:2102.13019**Rodrigo Nogueira, Zhiying Jiang, Jimmy Lin*2021 · 96 citations*](https://md.research.elamur.ai/free/en/papers/nogueira-2021-investigating-limitations-transformers-simple-arithmetic/)
59. [**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/)
60. [**How well do Large Language Models perform in Arithmetic tasks? arXiv:2304.02015**Zheng Yuan, Hongyi Yuan, Chuanqi Tan, et al.*2023 · 93 citations*](https://md.research.elamur.ai/free/en/papers/yuan-2023-well-large-language-models-perform/)
61. [**What's In My Big Data? arXiv:2310.20707**Yanai Elazar, Akshita Bhagia, Ian Magnusson, et al.*2023 · 92 citations*](https://md.research.elamur.ai/free/en/papers/elazar-2023-s-my-big-data/)
62. [**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/)
63. [**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/)
64. **[MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics Benchmark](https://md.research.elamur.ai/free/en/papers/liu-2024-mathbench-evaluating-theory-application-proficiency/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Hongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.*2024 · 70 citations*
65. **[NaturalProver: Grounded Mathematical Proof Generation with Language Models](https://md.research.elamur.ai/free/en/papers/welleck-2022-naturalprover-grounded-mathematical-proof-generation/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean Welleck, Jiacheng Liu, Ximing Lu, et al.*2022 · 62 citations*
66. **[Posing Fair Generalization Tasks for Natural Language Inference](https://md.research.elamur.ai/free/en/papers/geiger-2019-posing-fair-generalization-tasks-natural/) [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/)**Atticus Geiger, Ignacio Cases, Lauri Karttunen, et al.*2019 · 61 citations*
67. [**Tokenization counts: the impact of tokenization on arithmetic in frontier LLMs arXiv:2402.14903**Aaditya K. Singh, DJ Strouse*2024 · 55 citations*](https://md.research.elamur.ai/free/en/papers/singh-2024-tokenization-counts-impact-tokenization-arithmetic/)
68. **[MLCopilot: Unleashing the Power of Large Language Models in Solving Machine Learning Tasks](https://md.research.elamur.ai/free/en/papers/zhang-2024-mlcopilot-unleashing-power-large-language/) [Conference of the European Chapter of the Association for Computational Linguistics (EACL)](https://md.research.elamur.ai/free/en/venues/eacl/)**Lei Zhang, Yuge Zhang, Kan Ren, et al.*2024 · 52 citations*
69. **[MathPile: A Billion-Token-Scale Pretraining Corpus for Math](https://md.research.elamur.ai/free/en/papers/wang-2023-mathpile-billion-token-scale-pretraining/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Zengzhi Wang, Xuefeng Li, Rui Xia, et al.*2023 · 49 citations*
70. [**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/)
71. [**LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning arXiv:2101.06223**Yuhuai Wu, Markus Rabe, Wenda Li, et al.*2021 · 39 citations*](https://md.research.elamur.ai/free/en/papers/wu-2021-lime-learning-inductive-bias-primitives/)
72. **[Code Execution with Pre-trained Language Models](https://md.research.elamur.ai/free/en/papers/liu-2023-code-execution-pre-trained-language/) [Findings of the Association for Computational Linguistics](https://md.research.elamur.ai/free/en/venues/findings/)**Chenxiao Liu, Shuai Lu, Weizhu Chen, et al.*2023 · 38 citations*
73. **[Transformers Can Do Arithmetic with the Right Embeddings](https://md.research.elamur.ai/free/en/papers/mcleish-2024-transformers-arithmetic-right-embeddings/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Sean McLeish, Arpit Bansal, Alex Stein, et al.*2024 · 36 citations*
74. [**Knowledge Card: Filling LLMs' Knowledge Gaps with Plug-in Specialized Language Models arXiv:2305.09955**Shangbin Feng, Weijia Shi, Yuyang Bai, et al.*2023 · 35 citations*](https://md.research.elamur.ai/free/en/papers/feng-2023-knowledge-card-filling-llms-knowledge/)
75. **[Graph Representations for Higher-Order Logic and Theorem Proving](https://md.research.elamur.ai/free/en/papers/paliwal-2019-graph-representations-higher-order-logic/) [Proceedings of the AAAI Conference on Artificial Intelligence](https://md.research.elamur.ai/free/en/venues/proceedings-of-the-aaai-conference-on-artificial-intelligence/)**Aditya Paliwal, Sarah Loos, Markus Rabe, et al.*2019 · 33 citations*
76. [**Linear algebra with transformers arXiv:2112.01898**François Charton*2021 · 31 citations*](https://md.research.elamur.ai/free/en/papers/charton-2021-linear-algebra-transformers/)
77. [**ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique Pipeline arXiv:2404.02893**Yifan Xu, Xiao Liu, Xinghan Liu, et al.*2024 · 30 citations*](https://md.research.elamur.ai/free/en/papers/xu-2024-chatglm-math-improving-math/)
78. [**Deep Symbolic Regression for Recurrent Sequences arXiv:2201.04600**Stéphane d'Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, et al.*2022 · 27 citations*](https://md.research.elamur.ai/free/en/papers/ascoli-2022-deep-symbolic-regression-recurrent-sequences/)
79. [**Teaching Temporal Logics to Neural Networks arXiv:2003.04218**Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.*2020 · 24 citations*](https://md.research.elamur.ai/free/en/papers/hahn-2020-teaching-temporal-logics-neural-networks/)
80. **[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*
81. **[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*
82. **[Evaluating Transformer Language Models on Arithmetic Operations Using Number Decomposition](https://md.research.elamur.ai/free/en/papers/muffo-2023-evaluating-transformer-language-models-arithmetic/) [Language Resources and Evaluation Conference (LREC)](https://md.research.elamur.ai/free/en/venues/lrec/)**Matteo Muffo, Aldo Cocco, Enrico Bertino*2022 · 19 citations*
83. [**Learning advanced mathematical computations from examples arXiv:2006.06462**François Charton, Amaury Hayat, Guillaume Lample*2020 · 18 citations*](https://md.research.elamur.ai/free/en/papers/charton-2020-learning-advanced-mathematical-computations-examples/)
84. **[ArMATH: a Dataset for Solving Arabic Math Word Problems](https://md.research.elamur.ai/free/en/papers/alghamdi-2022-armath-dataset-solving-arabic-math/) [Language Resources and Evaluation Conference (LREC)](https://md.research.elamur.ai/free/en/venues/lrec/)**Reem Alghamdi, Zhenwen Liang, Xiangliang Zhang*2022 · 17 citations*
85. [**Falcon-H1: A Family of Hybrid-Head Language Models Redefining Efficiency and Performance arXiv:2507.22448**Jingwei Zuo, Maksim Velikanov, Ilyas Chahed, et al.*2025 · 15 citations*](https://md.research.elamur.ai/free/en/papers/zuo-2025-falcon-h1-family-hybrid-head/)
86. [**Outcome-based Exploration for LLM Reasoning arXiv:2509.06941**Yuda Song, Julia Kempe, Remi Munos*2025 · 15 citations*](https://md.research.elamur.ai/free/en/papers/song-2025-outcome-based-exploration-llm-reasoning/)
87. [**Adversarial Analysis of Natural Language Inference Systems arXiv:1912.03441**Tiffany Chien, Jugal Kalita*2019 · 15 citations*](https://md.research.elamur.ai/free/en/papers/chien-2019-adversarial-analysis-natural-language-inference/)
88. **[Guiding Inferences in Connection Tableau by Recurrent Neural Networks](https://md.research.elamur.ai/free/en/papers/piotrowski-2019-guiding-inferences-connection-tableau-recurrent/) [Lecture notes in computer science](https://md.research.elamur.ai/free/en/venues/lecture-notes-in-computer-science/)**Bartosz Piotrowski, Josef Urban*2019 · 15 citations*
89. [**Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning arXiv:1811.00796**Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai*2018 · 15 citations*](https://md.research.elamur.ai/free/en/papers/kusumoto-2018-automated-theorem-proving-intuitionistic-propositional/)
90. **[A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with Transformers](https://md.research.elamur.ai/free/en/papers/meadows-2024-symbolic-framework-evaluating-mathematical-reasoning/) [Conference of the North American Chapter of the Association for Computational Linguistics (NAACL)](https://md.research.elamur.ai/free/en/venues/naacl/)**Jordan Meadows, Marco Valentino, Damien Teney, et al.*2024 · 14 citations*
91. [**Open-Endedness is Essential for Artificial Superhuman Intelligence arXiv:2406.04268**Edward Hughes, Michael Dennis, Jack Parker-Holder, et al.*2024 · 14 citations*](https://md.research.elamur.ai/free/en/papers/hughes-2024-open-endedness-essential-artificial-superhuman/)
92. [**Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes On arXiv:2407.08348**Liang Zeng, Liangjun Zhong, Liang Zhao, et al.*2024 · 14 citations*](https://md.research.elamur.ai/free/en/papers/zeng-2024-skywork-math-data-scaling-laws/)
93. [**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/)
94. [**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/)
95. **[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*
96. [**Implicit Reasoning in Large Language Models: A Comprehensive Survey arXiv:2509.02350**Jindong Li, Yali Fu, Li Fan, et al.*2025 · 10 citations*](https://md.research.elamur.ai/free/en/papers/li-2025-implicit-reasoning-large-language-models/)
97. **[MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction Fusion](https://md.research.elamur.ai/free/en/papers/pei-2025-mathfusion-enhancing-mathematical-problem-solving/) [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/)**Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.*2025 · 10 citations*
98. **[Language Modeling by Language Models](https://md.research.elamur.ai/free/en/papers/cheng-2025-language-modeling-language-models/) [Conference on Neural Information Processing Systems (NeurIPS)](https://md.research.elamur.ai/free/en/venues/neural-information-processing-systems/)**Junyan Cheng, Peter Clark, Kyle Richardson*2025 · 9 citations*
99. [**SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-training arXiv:2310.02227**Kazem Meidani, Parshin Shojaee, Chandan K. Reddy, et al.*2023 · 8 citations*](https://md.research.elamur.ai/free/en/papers/meidani-2023-snip-bridging-mathematical-symbolic-numeric/)
100. [**From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical Problems arXiv:2410.18921**A M Muntasir Rahman, Junyi Ye, Wei Yao, et al.*2024 · 6 citations*](https://md.research.elamur.ai/free/en/papers/rahman-2024-blind-solvers-logical-thinkers-benchmarking/)

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

- [← back to](https://md.research.elamur.ai/free/en/authors/david-saxton/) — David Saxton