mlsanityData to 7 Oct 2026

Mathematics, word problems, common sense, and artificial intelligence

arXiv 2301.09723 ↗First posted 23 Jan 2023cs.AIcited by 12

On the map: LLM reasoning → Mathematical reasoning

Abstract (arXiv)

The paper discusses the capacities and limitations of current artificial intelligence (AI) technology to solve word problems that combine elementary knowledge with commonsense reasoning. No existing AI systems can solve these reliably. We review three approaches that have been developed, using AI natural language technology: outputting the answer directly, outputting a computer program that solves the problem, and outputting a formalized representation that can be input to an automated theorem verifier. We review some benchmarks that have been developed to evaluate these systems and some experimental studies. We discuss the limitations of the existing technology at solving these kinds of problems. We argue that it is not clear whether these kinds of limitations will be important in developing AI technology for pure mathematical research, but that they will be important in applications of mathematics, and may well be important in developing programs capable of reading and understanding mathematical content written by humans.

Key facts. Cited by 12 papers in the map (data through 7 Oct 2026). Placed in Mathematical reasoning, one of 17 directions in LLM reasoning. Builds on 9 of its 35 references that are in the map. First posted on arXiv 23 Jan 2023.

Builds on

9 of 35 references.

Closest ancestors · 1

Same direction, newest first

  1. 2022Limitations of Language Models in Arithmetic and Symbolic Induction9 Aug

Other references · 8

  1. 2020Language Models are Few-Shot Learnerscited by 32,199
  2. 2021Evaluating Large Language Models Trained on Codecited by 8,053
  3. 2021On the Opportunities and Risks of Foundation Modelscited by 3,961
  4. 2021Are NLP Models really able to Solve Simple Math Word Problems?cited by 861
  5. 2021A Diverse Corpus for Evaluating and Developing English Math Word Problem Solverscited by 314
  6. 2022Autoformalization with Large Language Modelscited by 252
  7. 2021A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Levelcited by 96
  8. 2022Limits of an AI program for solving college math problemscited by 1

Built on by

Cited by year (2026 to 7 Oct)

Citing papers per year: 2023: 6; 2024: 3; 2025: 2; 2026: 1.

12 papers.

Similar, not cited

Close in wording, no citation either way

  1. 2026Artificial Intelligence for Mathematical Reasoning: An Integrated Survey of Language Models, Neuro-symbolic Systems, and Verified Discovery
  2. 2024Mathematics and Machine Creativity: A Survey on Bridging Mathematics with AI
  3. 2024Formal Mathematical Reasoning: A New Frontier in AI
  4. 2024Large Language Models for Mathematical Reasoning: Progresses and Challenges
  5. 2024Assessing the Creativity of LLMs in Proposing Novel Solutions to Mathematical Problems
  6. 2022Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers
  7. 2025Large Language Models and Mathematical Reasoning Failures
  8. 2025Thinking Machines: Mathematical Reasoning in the Age of LLMs