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
314 papers, page 5 of 7
- NeurIPS 2025HELM: Hyperbolic Large Language Models via Mixture-of-Curvature Experts
- NeurIPS 2025Heterogeneous Adversarial Play in Interactive Environments
- NeurIPS 2025How Far Are We from Optimal Reasoning Efficiency?
- NeurIPS 2025Hybrid Latent Reasoning via Reinforcement Learning
- NeurIPS 2025Hybrid-Balance GFlowNet for Solving Vehicle Routing Problems
- NeurIPS 2025Improve Temporal Reasoning in Multimodal Large Language Models via Video Contrastive Decoding
- NeurIPS 2025Incentivizing Dual Process Thinking for Efficient Large Language Model Reasoning
- NeurIPS 2025Incentivizing LLMs to Self-Verify Their Answers
- NeurIPS 2025Incentivizing Reasoning for Advanced Instruction-Following of Large Language Models
- NeurIPS 2025Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
- NeurIPS 2025IneqSearch: Hybrid Reasoning for Olympiad Inequality Proofs
- NeurIPS 2025Is PRM Necessary? Problem-Solving RL Implicitly Induces PRM Capability in LLMs
- NeurIPS 2025Knot So Simple: A Minimalistic Environment for Spatial Reasoning
- NeurIPS 2025KTAE: A Model-Free Algorithm to Key-Tokens Advantage Estimation in Mathematical Reasoning
- NeurIPS 2025Large Language Models Think Too Fast To Explore Effectively
- NeurIPS 2025Latent Refinement via Flow Matching for Training-free Linear Inverse Problem Solving
- NeurIPS 2025Learning Interestingness in Automated Mathematical Theory Formation
- NeurIPS 2025Learning to Solve Complex Problems via Dataset Decomposition
- NeurIPS 2025Learning When to Think: Shaping Adaptive Reasoning in R1-Style Models via Multi-Stage RL
- NeurIPS 2025Let LRMs Break Free from Overthinking via Self-Braking Tuning
- NeurIPS 2025LIMOPro: Reasoning Refinement for Efficient and Effective Test-time Scaling
- NeurIPS 2025Look-Ahead Reasoning on Learning Platforms
- NeurIPS 2025Lost in Transmission: When and Why LLMs Fail to Reason Globally
- NeurIPS 2025MathArena: Evaluating LLMs on Uncontaminated Math Competitions
- NeurIPS 2025Measuring the Faithfulness of Thinking Drafts in Large Reasoning Models
- NeurIPS 2025Mind the Gap: Bridging Thought Leap for Improved Chain-of-Thought Tuning
- NeurIPS 2025miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward
- NeurIPS 2025MINT-CoT: Enabling Interleaved Visual Tokens in Mathematical Chain-of-Thought Reasoning
- NeurIPS 2025Mitigating Overthinking in Large Reasoning Models via Manifold Steering
- NeurIPS 2025MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem
- NeurIPS 2025More Thinking, Less Seeing? Assessing Amplified Hallucination in Multimodal Reasoning Models
- NeurIPS 2025Multipole Attention for Efficient Long Context Reasoning
- NeurIPS 2025NaturalReasoning: Reasoning in the Wild with 2.8M Challenging Questions
- NeurIPS 2025No Experts, No Problem: Avoidance Learning from Bad Demonstrations
- NeurIPS 2025OMEGA: Can LLMs Reason Outside the Box in Math? Evaluating Exploratory, Compositional, and Transformative Generalization
- NeurIPS 2025Omni-R1: Reinforcement Learning for Omnimodal Reasoning via Two-System Collaboration
- NeurIPS 2025On Learning Verifiers and Implications to Chain-of-Thought Reasoning
- NeurIPS 2025On the Bias of Next-Token Predictors Toward Systematically Inefficient Reasoning: A Shortest-Path Case Study
- NeurIPS 2025Once Upon an Input: Reasoning via Per-Instance Program Synthesis
- NeurIPS 2025One Token Embedding Is Enough to Deadlock Your Large Reasoning Model
- NeurIPS 2025Optimizing Anytime Reasoning via Budget Relative Policy Optimization
- NeurIPS 2025Optimizing Chain-of-Thought Reasoners via Gradient Variance Minimization in Rejection Sampling and RL
- NeurIPS 2025PolyMath: Evaluating Mathematical Reasoning in Multilingual Contexts
- NeurIPS 2025Prismatic Synthesis: Gradient-based Data Diversification Boosts Generalization in LLM Reasoning
- NeurIPS 2025ProRL: Prolonged Reinforcement Learning Expands Reasoning Boundaries in Large Language Models
- NeurIPS 2025QFFT, Question-Free Fine-Tuning for Adaptive Reasoning
- NeurIPS 2025QiMeng-CodeV-R1: Reasoning-Enhanced Verilog Generation
- NeurIPS 2025QuestBench: Can LLMs ask the right question to acquire information in reasoning tasks?
- NeurIPS 2025R-KV: Redundancy-aware KV Cache Compression for Reasoning Models
- NeurIPS 2025R$^2$ec: Towards Large Recommender Models with 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.