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
577 papers, page 6 of 12
- ICLR 2026VideoMathQA: Benchmarking Mathematical Reasoning via Multimodal Understanding in Video
- ICLR 2026VisioMath: Benchmarking Figure-based Mathematical Reasoning in LMMs
- ICLR 2026WALT: Web Agents that Learn Tools
- ICLR 2026We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
- ICLR 2026When Reasoning Meets Compression: Understanding the Effects of LLMs Compression on Large Reasoning Models
- ICLR 2026Where Did This Sentence Come From? Tracing Provenance in LLM Reasoning Distillation
- ICML 2026Advancing LLM Reasoning with Natural Language and Numerical Feedback
- ICML 2026Agentic Proposing: Enhancing Large language Model Reasoning via Compositional Skill Synthesis
- ICML 2026Anchored Policy Optimization: Mitigating Exploration Collapse via Support-Constrained Rectification
- ICML 2026Are Large Reasoning Models Interruptible?
- ICML 2026ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
- ICML 2026Batched Contextual Reinforcement
- ICML 2026Batched First-Order Methods for Parallel LP Solving in MIP
- ICML 2026BeaconKV: Key-Value Cache Compression Guided by Beacon Queries for Efficient Large Reasoning Model Inference
- ICML 2026Beyond Mode Collapse: Distribution Matching for Diverse Reasoning
- ICML 2026Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
- ICML 2026Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
- ICML 2026Bridging On-Device and Cloud LLMs for Collaborative Reasoning: A Unified Methodology for Local Routing and Post-Training
- ICML 2026Characterizing, Evaluating, and Optimizing Complex Reasoning
- ICML 2026Conformal Path Reasoning: Trustworthy Knowledge Graph Question Answering via Path-Level Calibration
- ICML 2026CoRe: Collaborative Reasoning via Cross Teaching
- ICML 2026Correcting in Hindsight: Editing Past Key-Value States for Robust LLM Reasoning
- ICML 2026CPMöbius: Iterative Coach–Player Reasoning for Data-Free Reinforcement Learning
- ICML 2026Critique-Guided Distillation for Robust Reasoning via Refinement
- ICML 2026CRPO: Character-centric Group Relative Policy Optimization for Role-aware Reasoning in Role-playing Agents
- ICML 2026D-ARL: A Distribution-Matched Asynchronous Reinforcement Learning Framework for Language Reasoning
- ICML 2026Demystifying Scientific Problem-Solving in LLMs by Probing Knowledge and Reasoning
- ICML 2026DenseSteer: Steering Small Language Models towards Dense Math Reasoning
- ICML 2026Diagnosing Multi-step Reasoning Failures in Black-box LLMs via Stepwise Confidence Attribution
- ICML 2026Differential Smoothing Mitigates Sharpening and Improves LLM Reasoning
- ICML 2026Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
- ICML 2026Don't Ignore the Tail: Decoupled Distillation Produces Top Maths Students on an Academic Budget
- ICML 2026DyCon: Dynamic Reasoning Control via Evolving Difficulty Modeling
- ICML 2026Dynamic Thinking-Token Selection for Efficient Reasoning in Large Reasoning Models
- ICML 2026Dynamics Reveals Structure: Challenging the Linear Propagation Assumption
- ICML 2026Editable Proof Sketch for Automated Theorem Proving
- ICML 2026Effective Reasoning Chains Reduce Intrinsic Dimensionality
- ICML 2026Emergent Analogical Reasoning in Transformers
- ICML 2026Equilibrium Reasoners: Learning Attractors Enables Scalable Reasoning
- ICML 2026Evaluating AI Grading on Real-World Handwritten College Mathematics: A Large-Scale Study Toward a Benchmark
- ICML 2026Evaluating LLMs When They Do Not Know the Answer: Statistical Evaluation of Mathematical Reasoning via Comparative Signals
- ICML 2026Evaluating Relational Reasoning in LLMs with REL
- ICML 2026Evidential Reasoning Advances Interpretable Real-World Disease Screening
- ICML 2026Experience Augmented Policy Optimization for LLM Reasoning
- ICML 2026Faults in Our Formal Benchmarking: Dataset Defects and Evaluation Failures in Lean Theorem Proving
- ICML 2026Feature Resemblance: Towards a Theoretical Understanding of Analogical Reasoning in Transformers
- ICML 2026FloorplanQA: A Benchmark for Spatial Reasoning in LLMs using Structured Representations
- ICML 2026FormalRx: Rectify and eXamine Semantic Failures in Autoformalization
- ICML 2026From LLM-Generated Conjectures to Lean Formalizations: Automated Polynomial Inequality Proving via Sum-of-Squares Certificates
- ICML 2026From Seeing to Thinking: Decoupling Perception and Reasoning Improves Post-Training of Vision-Language Models
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.