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 4 of 7
- NeurIPS 2025Benchmarking Spatiotemporal Reasoning in LLMs and Reasoning Models: Capabilities and Challenges
- NeurIPS 2025Beyond Chemical QA: Evaluating LLM's Chemical Reasoning with Modular Chemical Operations
- NeurIPS 2025Beyond the 80/20 Rule: High-Entropy Minority Tokens Drive Effective Reinforcement Learning for LLM Reasoning
- NeurIPS 2025Beyond Verifiable Rewards: Scaling Reinforcement Learning in Language Models to Unverifiable Data
- NeurIPS 2025Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
- NeurIPS 2025BREAD: Branched Rollouts from Expert Anchors Bridge SFT & RL for Reasoning
- NeurIPS 2025C3PO: Optimized Large Language Model Cascades with Probabilistic Cost Constraints for Reasoning
- NeurIPS 2025Can MLLMs Absorb Math Reasoning Abilities from LLMs as Free Lunch?
- NeurIPS 2025Causal Sufficiency and Necessity Improves Chain-of-Thought Reasoning
- NeurIPS 2025Causal-R: A Causal-Reasoning Geometry Problem Solver for Optimized Solution Exploration
- NeurIPS 2025Chain of Execution Supervision Promotes General Reasoning in Large Language Models
- NeurIPS 2025CLAWS:Creativity detection for LLM-generated solutions using Attention Window of Sections
- NeurIPS 2025Co-PatcheR: Collaborative Software Patching with Component-specific Small Reasoning Models
- NeurIPS 2025Cognitive Mirrors: Exploring the Diverse Functional Roles of Attention Heads in LLM Reasoning
- NeurIPS 2025Composing Global Solutions to Reasoning Tasks via Algebraic Objects in Neural Nets
- NeurIPS 2025Compositional Neural Network Verification via Assume-Guarantee Reasoning
- NeurIPS 2025Compositional Reasoning with Transformers, RNNs, and Chain of Thought
- NeurIPS 2025Continuous Thought Machines
- NeurIPS 2025Contrastive Representations for Temporal Reasoning
- NeurIPS 2025Controlling Thinking Speed in Reasoning Models
- NeurIPS 2025Counterfactual reasoning: an analysis of in-context emergence
- NeurIPS 2025CPPO: Accelerating the Training of Group Relative Policy Optimization-Based Reasoning Models
- NeurIPS 2025Creativity or Brute Force? Using Brainteasers as a Window into the Problem-Solving Abilities of Large Language Models
- NeurIPS 2025Deliberation on Priors: Trustworthy Reasoning of Large Language Models on Knowledge Graphs
- NeurIPS 2025Demystifying Reasoning Dynamics with Mutual Information: Thinking Tokens are Information Peaks in LLM Reasoning
- NeurIPS 2025DisCO: Reinforcing Large Reasoning Models with Discriminative Constrained Optimization
- NeurIPS 2025Diversity-Aware Policy Optimization for Large Language Model Reasoning
- NeurIPS 2025DLoFT: Gradient-Decoupled Fine-Tuning for Generalizable Long Chain-of-Thought Reasoning
- NeurIPS 2025Does Reinforcement Learning Really Incentivize Reasoning Capacity in LLMs Beyond the Base Model?
- NeurIPS 2025Don’t Think Longer, Think Wisely: Optimizing Thinking Dynamics for Large Reasoning Models
- NeurIPS 2025DreamPRM: Domain-reweighted Process Reward Model for Multimodal Reasoning
- NeurIPS 2025DSRF: A Dynamic and Scalable Reasoning Framework for Solving RPMs
- NeurIPS 2025DuetGraph: Coarse-to-Fine Knowledge Graph Reasoning with Dual-Pathway Global-Local Fusion
- NeurIPS 2025DyFlow: Dynamic Workflow Framework for Agentic Reasoning
- NeurIPS 2025DynaAct: Large Language Model Reasoning with Dynamic Action Spaces
- NeurIPS 2025Efficiently Scaling LLM Reasoning Programs with Certaindex
- NeurIPS 2025Enigmata: Scaling Logical Reasoning in Large Language Models with Synthetic Verifiable Puzzles
- NeurIPS 2025EvaLearn: Quantifying the Learning Capability and Efficiency of LLMs via Sequential Problem Solving
- NeurIPS 2025Evaluating the Inductive Abilities of Large Language Models: Why Chain-of-Thought Reasoning Sometimes Hurts More Than Helps
- NeurIPS 2025Evolutionary Reasoning Does Not Arise in Standard Usage of Protein Language Models
- NeurIPS 2025Execution Guided Line-by-Line Code Generation
- NeurIPS 2025ExPO: Unlocking Hard Reasoning with Self-Explanation-Guided Reinforcement Learning
- NeurIPS 2025Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
- NeurIPS 2025First SFT, Second RL, Third UPT: Continual Improving Multi-Modal LLM Reasoning via Unsupervised Post-Training
- NeurIPS 2025Flexible Realignment of Language Models
- NeurIPS 2025From Euler to AI: Unifying Formulas for Mathematical Constants
- NeurIPS 2025Generalizable Reasoning through Compositional Energy Minimization
- NeurIPS 2025GPO: Learning from Critical Steps to Improve LLM Reasoning
- NeurIPS 2025GRIP: A Graph-Based Reasoning Instruction Producer
- NeurIPS 2025HARDMath2: A Benchmark for Applied Mathematics Built by Students as Part of a Graduate Class
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.