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
175 papers, page 1 of 4
- ICLR 2026$\nabla$-Reasoner: LLM Reasoning via Test-Time Gradient Descent in Textual Space
- ICLR 2026$\textbf{Re}^{2}$: Unlocking LLM Reasoning via Reinforcement Learning with Re-solving
- ICLR 2026A State-Transition Framework for Efficient LLM Reasoning
- ICLR 2026AceReason-Nemotron 1.1: Advancing Math and Code Reasoning through SFT and RL Synergy
- ICLR 2026Analysis of approximate linear programming solution to Markov decision problem with log barrier function
- ICLR 2026Are Reasoning LLMs Robust to Interventions on their Chain-of-Thought?
- ICLR 2026ARMOR: Aligning Secure and Safe Large Language Models via Meticulous Reasoning
- ICLR 2026Asymmetric Proximal Policy Optimization: mini-critics boost LLM reasoning
- ICLR 2026AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
- ICLR 2026Beyond Binary Rewards: Training LMs to Reason About Their Uncertainty
- ICLR 2026Beyond Markovian: Reflective Exploration via Bayes-Adaptive RL for LLM Reasoning
- ICLR 2026Beyond Pass@ 1: Self-Play with Variational Problem Synthesis Sustains RLVR
- ICLR 2026BeyondBench: Benchmark-Free Evaluation of Reasoning in Language Models
- ICLR 2026Bird's-eye-view Informed Reasoning Driver
- ICLR 2026Bottlenecked Transformers: Periodic KV Cache Consolidation for Generalised Reasoning
- ICLR 2026Buffer Matters: Unleashing the Power of Off-Policy Reinforcement Learning in Large Language Model Reasoning
- ICLR 2026C-Voting: Confidence-Based Test-Time Voting without Explicit Energy Functions
- ICLR 2026Characterizing and Mitigating Reasoning Drift in Large Language Models
- ICLR 2026CircuitSense: A Hierarchical Circuit System Benchmark Bridging Visual Comprehension and Symbolic Reasoning in Engineering Design Process
- ICLR 2026CMT-Benchmark: A Benchmark for Condensed Matter Theory Built by Expert Researchers
- ICLR 2026CogFlow: Bridging Perception and Reasoning through Knowledge Internalization for Visual Mathematical Problem Solving
- ICLR 2026Compositional-ARC: Assessing Systematic Generalization in Abstract Spatial Reasoning
- ICLR 2026Conditional Advantage Estimation for Reinforcement Learning in Large Reasoning Models
- ICLR 2026Continuous Chain of Thought Enables Parallel Exploration and Reasoning
- ICLR 2026CORE: Concept-Oriented Reinforcement for Bridging the Definition–Application Gap in Mathematical Reasoning
- ICLR 2026CoT-Evo: Evolutionary Distillation of Chain-of-Thought for Scientific Reasoning
- ICLR 2026Curriculum Reinforcement Learning from Easy to Hard Tasks Improves LLM Reasoning
- ICLR 2026CyclicReflex: Improving Reasoning Models via Cyclical Reflection Token Scheduling
- ICLR 2026DAG-Math: Graph-Guided Mathematical Reasoning in LLMs
- ICLR 2026Deep Think with Confidence
- ICLR 2026DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
- ICLR 2026DIVA-GRPO: Enhancing Multimodal Reasoning through Difficulty-Adaptive Variant Advantage
- ICLR 2026Diversity-Enhanced Reasoning for Subjective Questions
- ICLR 2026Divide and Abstract: Autoformalization via Decomposition and Abstraction Learning
- ICLR 2026DRAGON: Guard LLM Unlearning in Context via Negative Detection and Reasoning
- ICLR 2026DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
- ICLR 2026DRPO: Efficient Reasoning via Decoupled Reward Policy Optimization
- ICLR 2026Dynamic Early Exit in Reasoning Models
- ICLR 2026Echoes as Anchors: Probabilistic Costs and Attention Refocusing in LLM Reasoning
- ICLR 2026Efficient Reasoning with Balanced Thinking
- ICLR 2026Emergent Hierarchical Reasoning in LLMs through Reinforcement Learning
- ICLR 2026Energy-Based Transformers are Scalable Learners and Thinkers
- ICLR 2026Equilibrium Language Models
- ICLR 2026Evaluating Cross-Modal Reasoning Ability and Problem Charactaristics with Multimodal Item Response Theory
- ICLR 2026Evaluating Language Models' Evaluations of Games
- ICLR 2026EvolProver: Advancing Automated theorem proving by Evolving Formalized Problems via Symmetry and Difficulty
- ICLR 2026ExGRPO: Learning to Reason from Prior Successes
- ICLR 2026Expanding Reasoning Potential in Foundation Model by Learning Diverse Chains of Thought Patterns
- ICLR 2026Explain in Your Own Words: Improving Reasoning via Token-Selective Dual Knowledge Distillation
- ICLR 2026FaithCoT-Bench: Benchmarking Instance-Level Faithfulness of Chain-of-Thought Reasoning
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.