Mathematical Reasoning papers, 2023–2026
Theorem and problem solving
Scope: NeurIPS, ICLR, ICML and CVPR, 2023–2026. 1,085 papers are tagged with this topic.
Key findings
- Mathematical Reasoning went from 57 papers in 2023 to 577 in 2026, roughly 10x in three years.
- NeurIPS publishes the most Mathematical Reasoning work: 469 papers from 2023 to 2026, 43% of the four-venue total.
- The fastest-growing overlap is with Reinforcement Learning: papers tagged with both rose from 3 in 2023 to 140 in 2026.
- Among the 5 topics under Neurosymbolic AI, it ranks #1 by 2026 paper count; the fastest grower in the group, Differentiable Reasoning, is up 2.5x versus 10x here.
Papers per venue
Counts by year and venue
| Year | NeurIPS | ICLR | ICML | CVPR | Total |
|---|---|---|---|---|---|
| 2023 | 19 | 17 | 11 | 10 | 57 |
| 2024 | 52 | 34 | 39 | 12 | 137 |
| 2025 | 190 | 61 | 45 | 18 | 314 |
| 2026 | 208 | 175 | 113 | 81 | 577 |
Representative papers
Spread across years and venues so every edition shows up
- NeurIPS 2026A mathematical theory of balancing relational generalization and memorization
- ICML 2026ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
- ICLR 2026AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
- CVPR 2026Affine Perspective-Three-Point Problem
- NeurIPS 2025Are Language Models Efficient Reasoners? A Perspective from Logic Programming
- ICML 2025Autoformulation of Mathematical Optimization Models Using LLMs
- ICLR 2025Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages
- CVPR 2025Bridging Viewpoint Gaps: Geometric Reasoning Boosts Semantic Correspondence
- NeurIPS 2024A Careful Examination of Large Language Model Performance on Grade School Arithmetic
- ICML 2024Accelerating Legacy Numerical Solvers by Non-intrusive Gradient-based Meta-solving
- ICLR 2024Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
- CVPR 2024E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator
- NeurIPS 2023Evaluating and Improving Tool-Augmented Computation-Intensive Math Reasoning
- ICML 2023Automated Search for Conjectures on Mathematical Constants using Analysis of Integer Sequences
- ICLR 2023Differentiable Mathematical Programming for Object-Centric Representation Learning
- CVPR 2023Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices
- NeurIPS 2026A Mechanistic Analysis of Looped Reasoning Language Models
- ICML 2026Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
- ICLR 2026CogFlow: Bridging Perception and Reasoning through Knowledge Internalization for Visual Mathematical Problem Solving
- CVPR 2026Hilbert-Geo Solving Solid Geometric Problems by Neural-Symbolic Reasoning
All Mathematical Reasoning papers
52 papers, page 1 of 2
- NeurIPS 2024A Careful Examination of Large Language Model Performance on Grade School Arithmetic
- NeurIPS 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
- NeurIPS 2024Abductive Reasoning in Logical Credal Networks
- NeurIPS 2024AlphaMath Almost Zero: Process Supervision without Process
- NeurIPS 2024Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency
- NeurIPS 2024AutoPSV: Automated Process-Supervised Verifier
- NeurIPS 2024Buffer of Thoughts: Thought-Augmented Reasoning with Large Language Models
- NeurIPS 2024Calibrating Reasoning in Language Models with Internal Consistency
- NeurIPS 2024Can Language Models Learn to Skip Steps?
- NeurIPS 2024Can Language Models Perform Robust Reasoning in Chain-of-thought Prompting with Noisy Rationales?
- NeurIPS 2024Can LLMs Learn by Teaching for Better Reasoning? A Preliminary Study
- NeurIPS 2024Chain-of-Thought Reasoning Without Prompting
- NeurIPS 2024ClevrSkills: Compositional Language And Visual Reasoning in Robotics
- NeurIPS 2024DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving
- NeurIPS 2024Decompose, Analyze and Rethink: Solving Intricate Problems with Human-like Reasoning Cycle
- NeurIPS 2024Deep Equilibrium Algorithmic Reasoning
- NeurIPS 2024Diffusion of Thought: Chain-of-Thought Reasoning in Diffusion Language Models
- NeurIPS 2024DMPlug: A Plug-in Method for Solving Inverse Problems with Diffusion Models
- NeurIPS 2024Does Reasoning Emerge? Examining the Probabilities of Causation in Large Language Models
- NeurIPS 2024Doing Experiments and Revising Rules with Natural Language and Probabilistic Reasoning
- NeurIPS 2024Embedding Trajectory for Out-of-Distribution Detection in Mathematical Reasoning
- NeurIPS 2024Evaluating Large Vision-and-Language Models on Children's Mathematical Olympiads
- NeurIPS 2024Global Lyapunov functions: a long-standing open problem in mathematics, with symbolic transformers
- NeurIPS 2024How Far Can Transformers Reason? The Globality Barrier and Inductive Scratchpad
- NeurIPS 2024Initialization is Critical to Whether Transformers Fit Composite Functions by Reasoning or Memorizing
- NeurIPS 2024Interpretable Concept-Based Memory Reasoning
- NeurIPS 2024JiuZhang3.0: Efficiently Improving Mathematical Reasoning by Training Small Data Synthesis Models
- NeurIPS 2024Latent Neural Operator for Solving Forward and Inverse PDE Problems
- NeurIPS 2024Lean Workbook: A large-scale Lean problem set formalized from natural language math problems
- NeurIPS 2024MACM: Utilizing a Multi-Agent System for Condition Mining in Solving Complex Mathematical Problems
- NeurIPS 2024MARVEL: Multidimensional Abstraction and Reasoning through Visual Evaluation and Learning
- NeurIPS 2024MathPile: A Billion-Token-Scale Pretraining Corpus for Math
- NeurIPS 2024Meaningful Learning: Enhancing Abstract Reasoning in Large Language Models via Generic Fact Guidance
- NeurIPS 2024Measuring Multimodal Mathematical Reasoning with MATH-Vision Dataset
- NeurIPS 2024Metacognitive Capabilities of LLMs: An Exploration in Mathematical Problem Solving
- NeurIPS 2024MindMerger: Efficiently Boosting LLM Reasoning in non-English Languages
- NeurIPS 2024MLLM-CompBench: A Comparative Reasoning Benchmark for Multimodal LLMs
- NeurIPS 2024Neuro-Symbolic Data Generation for Math Reasoning
- NeurIPS 2024On the Inductive Bias of Stacking Towards Improving Reasoning
- NeurIPS 2024Open-Book Neural Algorithmic Reasoning
- NeurIPS 2024OpenMathInstruct-1: A 1.8 Million Math Instruction Tuning Dataset
- NeurIPS 2024Proving Olympiad Algebraic Inequalities without Human Demonstrations
- NeurIPS 2024PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
- NeurIPS 2024PUZZLES: A Benchmark for Neural Algorithmic Reasoning
- NeurIPS 2024RL on Incorrect Synthetic Data Scales the Efficiency of LLM Math Reasoning by Eight-Fold
- NeurIPS 2024SciInstruct: a Self-Reflective Instruction Annotated Dataset for Training Scientific Language Models
- NeurIPS 2024SELF-DISCOVER: Large Language Models Self-Compose Reasoning Structures
- NeurIPS 2024Solving Inverse Problems via Diffusion Optimal Control
- NeurIPS 2024ST$_k$: A Scalable Module for Solving Top-k Problems
- NeurIPS 2024StrategyLLM: Large Language Models as Strategy Generators, Executors, Optimizers, and Evaluators for Problem Solving
Ask about this trend from Claude or Cursor
Connect the Paperlist MCP and your assistant can pull the numbers on this page while you draft a survey, pick a direction or plan a submission: papers per year and venue, growth, the fastest-rising sub-themes and representative papers, shaped around your question.
Copy this prompt into your assistant
Use paperlist to show how Mathematical Reasoning papers grew at NeurIPS from 2023 to 2026, and which year jumped the most.
Tool the assistant calls: get_topic_stats {"topic": "math-reasoning"}
Set up Paperlist MCP in two minutes (Claude Code, Cursor, Codex, ChatGPT)
FAQ
- How many Mathematical Reasoning papers were published at NeurIPS, ICLR, ICML and CVPR from 2023 to 2026?
- 1,085 in total: 57 in 2023, 137 in 2024, 314 in 2025, 577 in 2026.
- How many Mathematical Reasoning papers are at NeurIPS 2026?
- NeurIPS 2026 has 208 Mathematical Reasoning papers, versus 190 the year before.
- How many Mathematical Reasoning papers are at ICLR 2026?
- ICLR 2026 has 175 Mathematical Reasoning papers, versus 61 the year before.
- How many Mathematical Reasoning papers are at ICML 2026?
- ICML 2026 has 113 Mathematical Reasoning papers, versus 45 the year before.
- How many Mathematical Reasoning papers are at CVPR 2026?
- CVPR 2026 has 81 Mathematical Reasoning papers, versus 18 the year before.
- Which conference publishes the most Mathematical Reasoning papers?
- NeurIPS, with 469 papers from 2023 to 2026.