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 3 of 4
- ICLR 2026Parallel-R1: Towards Parallel Thinking via Reinforcement Learning
- ICLR 2026Patching Gaps In LLM Reasoning With Interventional Training
- ICLR 2026PEAR: Phase Entropy Aware Reward for Efficient Reasoning
- ICLR 2026Plan and Budget: Effective and Efficient Test-Time Scaling on Reasoning Large Language Models
- ICLR 2026Premise Selection for a Lean Hammer
- ICLR 2026PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
- ICLR 2026ProofBridge: Auto-Formalization of Natural Language Proofs in Lean via Joint Embeddings
- ICLR 2026ProofOptimizer: Training Language Models to Simplify Proofs without Human Demonstrations
- ICLR 2026PROS: Towards Compute-Efficient RLVR via Rollout Prefix Reuse
- ICLR 2026Pruning Long Chain-of-Thought of Large Reasoning Models via Small-Scale Preference Optimization
- ICLR 2026Pushing on Multilingual Reasoning Models with Language-Mixed Chain-of-Thought
- ICLR 2026QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
- ICLR 2026R-Horizon: How Far Can Your Large Reasoning Model Really Go in Breadth and Depth?
- ICLR 2026R-Zero: Self-Evolving Reasoning LLM from Zero Data
- ICLR 2026RADAR: Reasoning–Ability and Difficulty-Aware Routing in Language Models
- ICLR 2026RAIN-Merging: A Gradient-Free Method to Enhance Instruction Following in Large Reasoning Models with Preserved Thinking Format
- ICLR 2026Random Policy Valuation is Enough for LLM Reasoning with Verifiable Rewards
- ICLR 2026Real-Time Reasoning Agents in Evolving Environments
- ICLR 2026Reasoning in Space via Grounding in the World
- ICLR 2026Reasoning Language Model Inference Serving Unveiled: An Empirical Study
- ICLR 2026Reasoning Models Can be Accurately Pruned Via Chain-of-Thought Reconstruction
- ICLR 2026Reasoning Scaffolding: Distilling the Flow of Thought from LLMs
- ICLR 2026ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
- ICLR 2026Reinforced Latent Reasoning for LLM-based Recommendation
- ICLR 2026Reinforcement Mid-Training
- ICLR 2026Reliable Fine-Grained Evaluation of Natural Language Math Proofs
- ICLR 2026Rethinking LLM Reasoning: From Explicit Trajectories to Latent Representations
- ICLR 2026Rewriting Pre-Training Data Boosts LLM Performance in Math and Code
- ICLR 2026RFEval: Benchmarking Reasoning Faithfulness under Counterfactual Reasoning Intervention in Large Reasoning Models
- ICLR 2026RLAD: Training LLMs to Discover Abstractions for Solving Reasoning Problems
- ICLR 2026RLP: Reinforcement as a Pretraining Objective
- ICLR 2026RLVMR: Reinforcement Learning with Verifiable Meta-Reasoning Rewards for Robust Long-Horizon Agents
- ICLR 2026RM-R1: Reward Modeling as Reasoning
- ICLR 2026Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs
- ICLR 2026Scaf-GRPO: Scaffolded Group Relative Policy Optimization for Enhancing LLM Reasoning
- ICLR 2026Scalable Chain of Thoughts via Elastic Reasoning
- ICLR 2026Scheduling Your LLM Reinforcement Learning with Reasoning Trees
- ICLR 2026Segment-Level Attribution for Selective Learning of Long Reasoning Traces
- ICLR 2026Selection, Reflection and Self-Refinement: Revisit Reasoning Tasks via a Causal Lens
- ICLR 2026Self-Jailbreaking: Language Models Can Reason Themselves Out of Safety Alignment After Benign Reasoning Training
- ICLR 2026Self-Refining Vision Language Model for Robotic Failure Detection and Reasoning
- ICLR 2026SIM-CoT: Supervised Implicit Chain-of-Thought
- ICLR 2026SLM-MUX: Orchestrating Small Language Models for Reasoning
- ICLR 2026Slow-Fast Policy Optimization: Reposition-Before-Update for LLM Reasoning
- ICLR 2026Smarter Not Harder: Generative Process Evaluation with Intrinsic-Signal Driving and Ability‑Adaptive Reward Shaping
- ICLR 2026Soft Tokens, Hard Truths
- ICLR 2026Solving the 2-norm k-hyperplane clustering problem via multi-norm formulations
- ICLR 2026Stabilizing Policy Gradients for Sample-Efficient Reinforcement Learning in LLM Reasoning
- ICLR 2026STITCH: Simultaneous Thinking and Talking with Chunked Reasoning for Spoken Language Models
- ICLR 2026Strategic Obfuscation of Deceptive Reasoning in Language Models
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.