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
469 papers, page 8 of 10
- NeurIPS 2025Scaling Speculative Decoding with Lookahead Reasoning
- NeurIPS 2025Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach
- NeurIPS 2025SCOUT: Teaching Pre-trained Language Models to Enhance Reasoning via Flow Chain-of-Thought
- NeurIPS 2025Self-Verifying Reflection Helps Transformers with CoT Reasoning
- NeurIPS 2025SemCoT: Accelerating Chain-of-Thought Reasoning through Semantically-Aligned Implicit Tokens
- NeurIPS 2025ShorterBetter: Guiding Reasoning Models to Find Optimal Inference Length for Efficient Reasoning
- NeurIPS 2025SIGMA: Refining Large Language Model Reasoning via Sibling-Guided Monte Carlo Augmentation
- NeurIPS 2025Soft Thinking: Unlocking the Reasoning Potential of LLMs in Continuous Concept Space
- NeurIPS 2025SolidGeo: Measuring Multimodal Spatial Math Reasoning in Solid Geometry
- NeurIPS 2025SolverLLM: Leveraging Test-Time Scaling for Optimization Problem via LLM-Guided Search
- NeurIPS 2025Solving Inequality Proofs with Large Language Models
- NeurIPS 2025Solving the Asymmetric Traveling Salesman Problem via Trace-Guided Cost Augmentation
- NeurIPS 2025SPC: Evolving Self-Play Critic via Adversarial Games for LLM Reasoning
- NeurIPS 2025SPRINT: Enabling Interleaved Planning and Parallelized Execution in Reasoning Models
- NeurIPS 2025SQL-R1: Training Natural Language to SQL Reasoning Model By Reinforcement Learning
- NeurIPS 2025STNet: Spectral Transformation Network for Solving Operator Eigenvalue Problem
- NeurIPS 2025Stop Summation: Min-Form Credit Assignment Is All Process Reward Model Needs for Reasoning
- NeurIPS 2025Structured Linear CDEs: Maximally Expressive and Parallel-in-Time Sequence Models
- NeurIPS 2025SWE-RL: Advancing LLM Reasoning via Reinforcement Learning on Open Software Evolution
- NeurIPS 2025SwS: Self-aware Weakness-driven Problem Synthesis in Reinforcement Learning for LLM Reasoning
- NeurIPS 2025SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
- NeurIPS 2025System-1.5 Reasoning: Traversal in Language and Latent Spaces with Dynamic Shortcuts
- NeurIPS 2025TAPAS: Datasets for Learning the Learning with Errors Problem
- NeurIPS 2025Teaching Language Models to Reason with Tools
- NeurIPS 2025The Illusion of Thinking: Understanding the Strengths and Limitations of Reasoning Models via the Lens of Problem Complexity
- NeurIPS 2025The Surprising Effectiveness of Negative Reinforcement in LLM Reasoning
- NeurIPS 2025The Unreasonable Effectiveness of Entropy Minimization in LLM Reasoning
- NeurIPS 2025Think Only When You Need with Large Hybrid-Reasoning Models
- NeurIPS 2025Think or Not? Exploring Thinking Efficiency in Large Reasoning Models via an Information-Theoretic Lens
- NeurIPS 2025Think Silently, Think Fast: Dynamic Latent Compression of LLM Reasoning Chains
- NeurIPS 2025Thinker: Learning to Think Fast and Slow
- NeurIPS 2025Thoughts Are All Over the Place: On the Underthinking of Long Reasoning Models
- NeurIPS 2025TokenSqueeze: Performance-Preserving Compression for Reasoning LLMs
- NeurIPS 2025Topology of Reasoning: Understanding Large Reasoning Models through Reasoning Graph Properties
- NeurIPS 2025Towards Thinking-Optimal Scaling of Test-Time Compute for LLM Reasoning
- NeurIPS 2025Training Language Models to Reason Efficiently
- NeurIPS 2025Trajectory Bellman Residual Minimization: A Simple Value-Based Method for LLM Reasoning
- NeurIPS 2025Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalization
- NeurIPS 2025Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms
- NeurIPS 2025Trust, But Verify: A Self-Verification Approach to Reinforcement Learning with Verifiable Rewards
- NeurIPS 2025Uni-LoRA: One Vector is All You Need
- NeurIPS 2025Value-Guided Search for Efficient Chain-of-Thought Reasoning
- NeurIPS 2025VeriThinker: Learning to Verify Makes Reasoning Model Efficient
- NeurIPS 2025WHAT MAKES MATH PROBLEMS HARD FOR REINFORCEMENT LEARNING: A CASE STUDY
- NeurIPS 2025When No Paths Lead to Rome: Benchmarking Systematic Neural Relational Reasoning
- NeurIPS 2025When Thinking Fails: The Pitfalls of Reasoning for Instruction-Following in LLMs
- NeurIPS 2025Which Data Attributes Stimulate Math and Code Reasoning? An Investigation via Influence Functions
- NeurIPS 2025Who Reasons in the Large Language Models?
- NeurIPS 2024A Careful Examination of Large Language Model Performance on Grade School Arithmetic
- NeurIPS 2024A Neuro-Symbolic Benchmark Suite for Concept Quality and Reasoning Shortcuts
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.