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
287 papers, page 5 of 6
- ICLR 2025LeanAgent: Lifelong Learning for Formal Theorem Proving
- ICLR 2025Learning to Plan Before Answering: Self-Teaching LLMs to Learn Abstract Plans for Problem Solving
- ICLR 2025MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical Code
- ICLR 2025MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
- ICLR 2025MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data Engine
- ICLR 2025MIND: Math Informed syNthetic Dialogues for Pretraining LLMs
- ICLR 2025MIRAGE: Evaluating and Explaining Inductive Reasoning Process in Language Models
- ICLR 2025Mitigating Modality Prior-Induced Hallucinations in Multimodal Large Language Models via Deciphering Attention Causality
- ICLR 2025MLPs Learn In-Context on Regression and Classification Tasks
- ICLR 2025MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluation
- ICLR 2025Multiagent Finetuning: Self Improvement with Diverse Reasoning Chains
- ICLR 2025Mutual Reasoning Makes Smaller LLMs Stronger Problem-Solver
- ICLR 2025Number Cookbook: Number Understanding of Language Models and How to Improve It
- ICLR 2025Omni-MATH: A Universal Olympiad Level Mathematic Benchmark for Large Language Models
- ICLR 2025OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data
- ICLR 2025Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process
- ICLR 2025Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems
- ICLR 2025Procedural Knowledge in Pretraining Drives Reasoning in Large Language Models
- ICLR 2025Process Reward Model with Q-value Rankings
- ICLR 2025Progress or Regress? Self-Improvement Reversal in Post-training
- ICLR 2025Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
- ICLR 2025Reasoning Elicitation in Language Models via Counterfactual Feedback
- ICLR 2025Reasoning with Latent Thoughts: On the Power of Looped Transformers
- ICLR 2025ReGenesis: LLMs can Grow into Reasoning Generalists via Self-Improvement
- ICLR 2025SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance
- ICLR 2025Scaling LLM Test-Time Compute Optimally Can be More Effective than Scaling Parameters for Reasoning
- ICLR 2025Seq-VCR: Preventing Collapse in Intermediate Transformer Representations for Enhanced Reasoning
- ICLR 2025Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling
- ICLR 2025Systematic Relational Reasoning With Epistemic Graph Neural Networks
- ICLR 2025ThinkBot: Embodied Instruction Following with Thought Chain Reasoning
- ICLR 2025To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
- ICLR 2025Token-Supervised Value Models for Enhancing Mathematical Problem-Solving Capabilities of Large Language Models
- ICLR 2025Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
- ICLR 2025TypedThinker: Diversify Large Language Model Reasoning with Typed Thinking
- ICLR 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
- ICLR 2025WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct
- ICLR 2024Abstractors and relational cross-attention: An inductive bias for explicit relational reasoning in Transformers
- ICLR 2024Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models
- ICLR 2024Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding
- ICLR 2024Deep SE(3)-Equivariant Geometric Reasoning for Precise Placement Tasks
- ICLR 2024Diffusion Posterior Sampling for Linear Inverse Problem Solving: A Filtering Perspective
- ICLR 2024Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
- ICLR 2024Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step Reasoning
- ICLR 2024Hypothesis Search: Inductive Reasoning with Language Models
- ICLR 2024Large Language Model Cascades with Mixture of Thought Representations for Cost-Efficient Reasoning
- ICLR 2024Large Language Models as Analogical Reasoners
- ICLR 2024Large Language Models Cannot Self-Correct Reasoning Yet
- ICLR 2024LEGO-Prover: Neural Theorem Proving with Growing Libraries
- ICLR 2024Let's Verify Step by Step
- ICLR 2024Llemma: An Open Language Model for Mathematics
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.