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
39 papers, page 1 of 1
- ICML 2024A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data
- ICML 2024Accelerating Legacy Numerical Solvers by Non-intrusive Gradient-based Meta-solving
- ICML 2024Ambiguity-Aware Abductive Learning
- ICML 2024Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts
- ICML 2024Attention Meets Post-hoc Interpretability: A Mathematical Perspective
- ICML 2024Auto-Regressive Next-Token Predictors are Universal Learners
- ICML 2024Case-Based or Rule-Based: How Do Transformers Do the Math?
- ICML 2024ConTextual: Evaluating Context-Sensitive Text-Rich Visual Reasoning in Large Multimodal Models
- ICML 2024ContPhy: Continuum Physical Concept Learning and Reasoning from Videos
- ICML 2024Counterfactual Reasoning for Multi-Label Image Classification via Patching-Based Training
- ICML 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Execution
- ICML 2024Do Language Models Exhibit the Same Cognitive Biases in Problem Solving as Human Learners?
- ICML 2024Enforcing Constraints in RNA Secondary Structure Predictions: A Post-Processing Framework Based on the Assignment Problem
- ICML 2024GeoReasoner: Geo-localization with Reasoning in Street Views using a Large Vision-Language Model
- ICML 2024GLoRe: When, Where, and How to Improve LLM Reasoning via Global and Local Refinements
- ICML 2024Graph2Tac: Online Representation Learning of Formal Math Concepts
- ICML 2024How Smooth Is Attention?
- ICML 2024Improving Factuality and Reasoning in Language Models through Multiagent Debate
- ICML 2024INViT: A Generalizable Routing Problem Solver with Invariant Nested View Transformer
- ICML 2024Language Agent Tree Search Unifies Reasoning, Acting, and Planning in Language Models
- ICML 2024Language Models with Conformal Factuality Guarantees
- ICML 2024Learning Iterative Reasoning through Energy Diffusion
- ICML 2024Learning Solution-Aware Transformers for Efficiently Solving Quadratic Assignment Problem
- ICML 2024MathScale: Scaling Instruction Tuning for Mathematical Reasoning
- ICML 2024MM-Vet: Evaluating Large Multimodal Models for Integrated Capabilities
- ICML 2024Neural operators meet conjugate gradients: The FCG-NO method for efficient PDE solving
- ICML 2024On a Combinatorial Problem Arising in Machine Teaching
- ICML 2024On the Hardness of Probabilistic Neurosymbolic Learning
- ICML 2024Partial Optimality in the Linear Ordering Problem
- ICML 2024Position: Rethinking Post-Hoc Search-Based Neural Approaches for Solving Large-Scale Traveling Salesman Problems
- ICML 2024Premise Order Matters in Reasoning with Large Language Models
- ICML 2024Rethinking Transformers in Solving POMDPs
- ICML 2024SciBench: Evaluating College-Level Scientific Problem-Solving Abilities of Large Language Models
- ICML 2024Slot Abstractors: Toward Scalable Abstract Visual Reasoning
- ICML 2024Solving Poisson Equations using Neural Walk-on-Spheres
- ICML 2024Toward Adaptive Reasoning in Large Language Models with Thought Rollback
- ICML 2024Training Large Language Models for Reasoning through Reverse Curriculum Reinforcement Learning
- ICML 2024TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks
- ICML 2024Video-of-Thought: Step-by-Step Video Reasoning from Perception to Cognition
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.