Elamur Research⌕
☰
home / 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

1 2

  1. Continual Lifelong Learning with Neural Networks: A ReviewNeural NetworksGerman I. Parisi, Ronald Kemker, Jose L. Part, et al.2018 · 3,224 citations
  2. Measuring Mathematical Problem Solving With the MATH DatasetarXiv:2103.03874Dan Hendrycks, Collin Burns, Saurav Kadavath, et al.2021 · 2,395 citations
  3. Relational inductive biases, deep learning, and graph networksarXiv:1806.01261Peter W. Battaglia, Jessica B. Hamrick, Victor Bapst, et al.2018 · 2,335 citations
  4. Finetuned Language Models Are Zero-Shot LearnersarXiv:2109.01652Jason Wei, Maarten Bosma, Vincent Y. Zhao, et al.2021 · 1,954 citations
  5. Beyond the Imitation Game: Quantifying and extrapolating the capabilities of language modelsarXiv:2206.04615 · Transactions on Machine Learning Research, May/2022, https://openreview.net/forum?id=uyTL5BvosjAarohi Srivastava, Abhinav Rastogi, Abhishek Rao, et al.2022 · 1,756 citations
  6. A Multitask, Multilingual, Multimodal Evaluation of ChatGPT on Reasoning, Hallucination, and InteractivityarXiv:2302.04023Yejin Bang, Samuel Cahyawijaya, Nayeon Lee, et al.2023 · 882 citations
  7. GPT-NeoX-20B: An Open-Source Autoregressive Language ModelBigScience Episode – Workshop on Challenges & Perspectives in Creating Large Language ModelsSidney Black, Stella Biderman, Eric Hallahan, et al.2022 · 831 citations
  8. ChartQA: A Benchmark for Question Answering about Charts with Visual and Logical ReasoningFindings of the Association for Computational LinguisticsAhmed Masry, Do Xuan Long, Jia Qing Tan, et al.2022 · 774 citations
  9. HybridFlow: A Flexible and Efficient RLHF FrameworkarXiv:2409.19256Guangming Sheng, Chi Zhang, Zilingfeng Ye, et al.2024 · 624 citations
  10. Show your work: Scratchpads for intermediate computation with language models2021 · 473 citations
  11. Tulu 3: Pushing Frontiers in Open Language Model Post-TrainingarXiv:2411.15124Nathan Lambert, Jacob Morrison, Valentina Pyatkin, et al.2024 · 423 citations
  12. Hindsight Experience ReplayarXiv:1707.01495Marcin Andrychowicz, Filip Wolski, Alex Ray, et al.2017 · 421 citations
  13. WebShop: Towards Scalable Real-World Web Interaction with Grounded Language AgentsConference on Neural Information Processing Systems (NeurIPS)Shunyu Yao, Howard Chen, John Yang, et al.2022 · 420 citations
  14. Learning Latent Dynamics for Planning from PixelsarXiv:1811.04551Danijar Hafner, Timothy Lillicrap, Ian Fischer, et al.2018 · 394 citations
  15. Revisiting the Arcade Learning Environment: Evaluation Protocols and Open Problems for General AgentsJournal of Artificial Intelligence ResearchMarlos C. Machado, Marc G. Bellemare, Erik Talvitie, et al.2017 · 393 citations
  16. Transformers as Soft Reasoners over LanguageInternational Joint Conference on Artificial IntelligencePeter Clark, Oyvind Tafjord, Kyle Richardson2020 · 382 citations
  17. Do NLP Models Know Numbers? Probing Numeracy in EmbeddingsConference on Empirical Methods in Natural Language Processing (EMNLP)Eric Wallace, Yizhong Wang, Sujian Li, et al.2019 · 352 citations
  18. The Next Decade in AI: Four Steps Towards Robust Artificial IntelligencearXiv:2002.06177Gary Marcus2020 · 332 citations
  19. PromptRobust: Towards Evaluating the Robustness of Large Language Models on Adversarial PromptsarXiv:2306.04528Kaijie Zhu, Jindong Wang, Jiaheng Zhou, et al.2023 · 305 citations
  20. Exploration by Random Network DistillationarXiv:1810.12894Yuri Burda, Harrison Edwards, Amos Storkey, et al.2018 · 302 citations
  21. Analysing Mathematical Reasoning Abilities of Neural ModelsarXiv:1904.01557David Saxton, Edward Grefenstette, Felix Hill, et al.2019 · 288 citations
  22. Scaling Laws for Autoregressive Generative ModelingarXiv:2010.14701Tom Henighan, Jared Kaplan, Mor Katz, et al.2020 · 277 citations
  23. Injecting Numerical Reasoning Skills into Language ModelsAnnual Meeting of the Association for Computational Linguistics (ACL)Mor Geva, Ankit Gupta, Jonathan Berant2020 · 269 citations
  24. Scaling Relationship on Learning Mathematical Reasoning with Large Language ModelsarXiv:2308.01825Zheng Yuan, Hongyi Yuan, Chengpeng Li, et al.2023 · 261 citations
  25. MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citations
  26. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
  27. From Language to Programs: Bridging Reinforcement Learning and Maximum Marginal LikelihoodAnnual Meeting of the Association for Computational Linguistics (ACL)Kelvin Guu, Panupong Pasupat, Evan Liu, et al.2017 · 236 citations
  28. Agent57: Outperforming the Atari Human BenchmarkarXiv:2003.13350Adrià Puigdomènech Badia, Bilal Piot, Steven Kapturowski, et al.2020 · 235 citations
  29. Learning a SAT Solver from Single-Bit SupervisionarXiv:1802.03685Daniel Selsam, Matthew Lamm, Benedikt Bünz, et al.2018 · 232 citations
  30. The Importance of Being Recurrent for Modeling Hierarchical StructureConference on Empirical Methods in Natural Language Processing (EMNLP)Ke Tran, Arianna Bisazza, Christof Monz2018 · 228 citations
  31. Jais and Jais-chat: Arabic-Centric Foundation and Instruction-Tuned Open Generative Large Language ModelsarXiv:2308.16149Neha Sengupta, Sunil Kumar Sahu, Bokang Jia, et al.2023 · 218 citations
  32. NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning TasksAnnual Meeting of the Association for Computational Linguistics (ACL)Swaroop Mishra, Arindam Mitra, Neeraj Varshney, et al.2022 · 197 citations
  33. Automatic Goal Generation for Reinforcement Learning AgentsarXiv:1705.06366Carlos Florensa, David Held, Xinyang Geng, et al.2017 · 181 citations
  34. LILA: A Unified Benchmark for Mathematical ReasoningConference on Empirical Methods in Natural Language Processing (EMNLP)Swaroop Mishra, Matthew Finlayson, Pan Lu, et al.2022 · 179 citations
  35. Grokking: Generalization Beyond Overfitting on Small Algorithmic DatasetsarXiv:2201.02177Alethea Power, Yuri Burda, Harri Edwards, et al.2022 · 177 citations
  36. Impact of Pretraining Term Frequencies on Few-Shot Numerical ReasoningFindings of the Association for Computational LinguisticsYasaman Razeghi, Robert L Logan IV, Matt Gardner, et al.2022 · 165 citations
  37. Orca 2: Teaching Small Language Models How to ReasonarXiv:2311.11045Arindam Mitra, Luciano Del Corro, Shweti Mahajan, et al.2023 · 162 citations
  38. Compositionality decomposed: how do neural networks generalise?arXiv:1908.08351Dieuwke Hupkes, Verna Dankers, Mathijs Mul, et al.2019 · 162 citations
  39. TheoremQA: A Theorem-driven Question Answering DatasetConference on Empirical Methods in Natural Language Processing (EMNLP)Wenhu Chen, Ming Yin, Max Ku, et al.2023 · 158 citations
  40. HyperTree Proof Search for Neural Theorem ProvingConference on Neural Information Processing Systems (NeurIPS)Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022 · 151 citations
  41. A Review on Language Models as Knowledge BasesarXiv:2204.06031Badr AlKhamissi, Millicent Li, Asli Celikyilmaz, et al.2022 · 150 citations
  42. Diversity is All You Need: Learning Skills without a Reward FunctionarXiv:1802.06070Benjamin Eysenbach, Abhishek Gupta, Julian Ibarz, et al.2018 · 145 citations
  43. Representing Numbers in NLP: a Survey and a VisionConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Avijit Thawani, Jay Pujara, Filip Ilievski, et al.2021 · 139 citations
  44. Deep Learning for Symbolic MathematicsarXiv:1912.01412Guillaume Lample, François Charton2019 · 138 citations
  45. The Impact of Positional Encoding on Length Generalization in TransformersConference on Neural Information Processing Systems (NeurIPS)Amirhossein Kazemnejad, Inkit Padhi, Karthikeyan Natesan Ramamurthy, et al.2023 · 134 citations
  46. Olmo 3arXiv:2512.13961Team Olmo: Allyson Ettinger, Amanda Bertsch, Bailey Kuehl, et al.2025 · 130 citations
  47. Giving BERT a Calculator: Finding Operations and Arguments with Reading ComprehensionConference on Empirical Methods in Natural Language Processing (EMNLP)Daniel Andor, Luheng He, Kenton Lee, et al.2019 · 126 citations
  48. Analyzing Compositionality-Sensitivity of NLI ModelsProceedings of the AAAI Conference on Artificial IntelligenceYixin Nie, Yicheng Wang, Mohit Bansal2018 · 121 citations
  49. Best Practices and Lessons Learned on Synthetic DataarXiv:2404.07503Ruibo Liu, Jerry Wei, Fangyu Liu, et al.2024 · 119 citations
  50. 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
  51. Gemma Scope: Open Sparse Autoencoders Everywhere All At Once on Gemma 2arXiv:2408.05147Tom Lieberum, Senthooran Rajamanoharan, Arthur Conmy, et al.2024 · 115 citations
  52. Branch-Train-Merge: Embarrassingly Parallel Training of Expert Language ModelsarXiv:2208.03306Margaret Li, Suchin Gururangan, Tim Dettmers, et al.2022 · 114 citations
  53. ALLaM: Large Language Models for Arabic and EnglisharXiv:2407.15390M Saiful Bari, Yazeed Alnumay, Norah A. Alzahrani, et al.2024 · 113 citations
  54. PRover: Proof Generation for Interpretable Reasoning over RulesConference on Empirical Methods in Natural Language Processing (EMNLP)Swarnadeep Saha, Sayan Ghosh, Shashank Srivastava, et al.2020 · 103 citations
  55. MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical ReasoningarXiv:2310.03731Ke Wang, Houxing Ren, Aojun Zhou, et al.2023 · 99 citations
  56. Leap-Of-Thought: Teaching Pre-Trained Models to Systematically Reason Over Implicit KnowledgearXiv:2006.06609Alon Talmor, Oyvind Tafjord, Peter Clark, et al.2020 · 98 citations
  57. Teaching Algorithmic Reasoning via In-context LearningarXiv:2211.09066Hattie Zhou, Azade Nova, Hugo Larochelle, et al.2022 · 96 citations
  58. Investigating the Limitations of Transformers with Simple Arithmetic TasksarXiv:2102.13019Rodrigo Nogueira, Zhiying Jiang, Jimmy Lin2021 · 96 citations
  59. Rewarding Progress: Scaling Automated Process Verifiers for LLM ReasoningarXiv:2410.08146Amrith Setlur, Chirag Nagpal, Adam Fisch, et al.2024 · 93 citations
  60. How well do Large Language Models perform in Arithmetic tasks?arXiv:2304.02015Zheng Yuan, Hongyi Yuan, Chuanqi Tan, et al.2023 · 93 citations
  61. What's In My Big Data?arXiv:2310.20707Yanai Elazar, Akshita Bhagia, Ian Magnusson, et al.2023 · 92 citations
  62. DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-SolvingarXiv:2407.13690Yuxuan Tong, Xiwen Zhang, Rui Wang, et al.2024 · 81 citations
  63. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
  64. MathBench: Evaluating the Theory and Application Proficiency of LLMs with a Hierarchical Mathematics BenchmarkFindings of the Association for Computational LinguisticsHongwei Liu, Zilong Zheng, Yuxuan Qiao, et al.2024 · 70 citations
  65. NaturalProver: Grounded Mathematical Proof Generation with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Sean Welleck, Jiacheng Liu, Ximing Lu, et al.2022 · 62 citations
  66. Posing Fair Generalization Tasks for Natural Language InferenceConference on Empirical Methods in Natural Language Processing (EMNLP)Atticus Geiger, Ignacio Cases, Lauri Karttunen, et al.2019 · 61 citations
  67. Tokenization counts: the impact of tokenization on arithmetic in frontier LLMsarXiv:2402.14903Aaditya K. Singh, DJ Strouse2024 · 55 citations
  68. MLCopilot: Unleashing the Power of Large Language Models in Solving Machine Learning TasksConference of the European Chapter of the Association for Computational Linguistics (EACL)Lei Zhang, Yuge Zhang, Kan Ren, et al.2024 · 52 citations
  69. MathPile: A Billion-Token-Scale Pretraining Corpus for MathConference on Neural Information Processing Systems (NeurIPS)Zengzhi Wang, Xuefeng Li, Rui Xia, et al.2023 · 49 citations
  70. IsarStep: a Benchmark for High-level Mathematical ReasoningarXiv:2006.09265Wenda Li, Lei Yu, Yuhuai Wu, et al.2020 · 43 citations
  71. LIME: Learning Inductive Bias for Primitives of Mathematical ReasoningarXiv:2101.06223Yuhuai Wu, Markus Rabe, Wenda Li, et al.2021 · 39 citations
  72. Code Execution with Pre-trained Language ModelsFindings of the Association for Computational LinguisticsChenxiao Liu, Shuai Lu, Weizhu Chen, et al.2023 · 38 citations
  73. Transformers Can Do Arithmetic with the Right EmbeddingsConference on Neural Information Processing Systems (NeurIPS)Sean McLeish, Arpit Bansal, Alex Stein, et al.2024 · 36 citations
  74. Knowledge Card: Filling LLMs' Knowledge Gaps with Plug-in Specialized Language ModelsarXiv:2305.09955Shangbin Feng, Weijia Shi, Yuyang Bai, et al.2023 · 35 citations
  75. Graph Representations for Higher-Order Logic and Theorem ProvingProceedings of the AAAI Conference on Artificial IntelligenceAditya Paliwal, Sarah Loos, Markus Rabe, et al.2019 · 33 citations
  76. Linear algebra with transformersarXiv:2112.01898François Charton2021 · 31 citations
  77. ChatGLM-Math: Improving Math Problem-Solving in Large Language Models with a Self-Critique PipelinearXiv:2404.02893Yifan Xu, Xiao Liu, Xinghan Liu, et al.2024 · 30 citations
  78. Deep Symbolic Regression for Recurrent SequencesarXiv:2201.04600Stéphane d'Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, et al.2022 · 27 citations
  79. Teaching Temporal Logics to Neural NetworksarXiv:2003.04218Christopher Hahn, Frederik Schmitt, Jens U. Kreber, et al.2020 · 24 citations
  80. Learning Formal Mathematics From Intrinsic MotivationConference on Neural Information Processing Systems (NeurIPS)Gabriel Poesia, David Broman, Nick Haber, et al.2024 · 23 citations
  81. 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
  82. Evaluating Transformer Language Models on Arithmetic Operations Using Number DecompositionLanguage Resources and Evaluation Conference (LREC)Matteo Muffo, Aldo Cocco, Enrico Bertino2022 · 19 citations
  83. Learning advanced mathematical computations from examplesarXiv:2006.06462François Charton, Amaury Hayat, Guillaume Lample2020 · 18 citations
  84. ArMATH: a Dataset for Solving Arabic Math Word ProblemsLanguage Resources and Evaluation Conference (LREC)Reem Alghamdi, Zhenwen Liang, Xiangliang Zhang2022 · 17 citations
  85. Falcon-H1: A Family of Hybrid-Head Language Models Redefining Efficiency and PerformancearXiv:2507.22448Jingwei Zuo, Maksim Velikanov, Ilyas Chahed, et al.2025 · 15 citations
  86. Outcome-based Exploration for LLM ReasoningarXiv:2509.06941Yuda Song, Julia Kempe, Remi Munos2025 · 15 citations
  87. Adversarial Analysis of Natural Language Inference SystemsarXiv:1912.03441Tiffany Chien, Jugal Kalita2019 · 15 citations
  88. Guiding Inferences in Connection Tableau by Recurrent Neural NetworksLecture notes in computer scienceBartosz Piotrowski, Josef Urban2019 · 15 citations
  89. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement LearningarXiv:1811.00796Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai2018 · 15 citations
  90. A Symbolic Framework for Evaluating Mathematical Reasoning and Generalisation with TransformersConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Jordan Meadows, Marco Valentino, Damien Teney, et al.2024 · 14 citations
  91. Open-Endedness is Essential for Artificial Superhuman IntelligencearXiv:2406.04268Edward Hughes, Michael Dennis, Jack Parker-Holder, et al.2024 · 14 citations
  92. Skywork-Math: Data Scaling Laws for Mathematical Reasoning in Large Language Models — The Story Goes OnarXiv:2407.08348Liang Zeng, Liangjun Zhong, Liang Zhao, et al.2024 · 14 citations
  93. 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
  94. Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement LearningarXiv:1807.08058Gil Lederman, Markus N. Rabe, Edward A. Lee, et al.2018 · 12 citations
  95. Consistent Autoformalization for Constructing Mathematical LibrariesConference on Empirical Methods in Natural Language Processing (EMNLP)Lan Zhang, Xin Quan, Andre Freitas2024 · 11 citations
  96. Implicit Reasoning in Large Language Models: A Comprehensive SurveyarXiv:2509.02350Jindong Li, Yali Fu, Li Fan, et al.2025 · 10 citations
  97. MathFusion: Enhancing Mathematical Problem-solving of LLM through Instruction FusionAnnual Meeting of the Association for Computational Linguistics (ACL)Qizhi Pei, Lijun Wu, Zhuoshi Pan, et al.2025 · 10 citations
  98. Language Modeling by Language ModelsConference on Neural Information Processing Systems (NeurIPS)Junyan Cheng, Peter Clark, Kyle Richardson2025 · 9 citations
  99. SNIP: Bridging Mathematical Symbolic and Numeric Realms with Unified Pre-trainingarXiv:2310.02227Kazem Meidani, Parshin Shojaee, Chandan K. Reddy, et al.2023 · 8 citations
  100. From Blind Solvers to Logical Thinkers: Benchmarking LLMs' Logical Integrity on Faulty Mathematical ProblemsarXiv:2410.18921A M Muntasir Rahman, Junyi Ye, Wei Yao, et al.2024 · 6 citations

1 2

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/david-saxton/cited-by/