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
287 papers, page 4 of 6
- ICLR 2026StreamingThinker: Large Language Models Can Think While Reading
- ICLR 2026SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
- ICLR 2026T1: Tool-integrated Verification for Test-time Compute Scaling in Small Language Models
- ICLR 2026TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
- ICLR 2026The First Impression Problem: Internal Bias Triggers Overthinking in Reasoning Models
- ICLR 2026The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
- ICLR 2026THE PATH OF LEAST RESISTANCE: GUIDING LLM REASONING TRAJECTORIES WITH PREFIX CONSENSUS
- ICLR 2026Think in Parallel, Answer as One: Logit Averaging for Open-Ended Reasoning
- ICLR 2026Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
- ICLR 2026ThinkMorph: Emergent Properties in Multimodal Interleaved Chain-of-Thought Reasoning
- ICLR 2026Token Hidden Reward: Steering Exploration-Exploitation in Group Relative Deep Reinforcement Learning
- ICLR 2026TokUR: Token-Level Uncertainty Estimation for Large Language Model Reasoning
- ICLR 2026Towards Quantization-Aware Training for Ultra-Low-Bit Reasoning LLMs
- ICLR 2026Towards Safe Reasoning in Large Reasoning Models via Corrective Intervention
- ICLR 2026Tracing the Traces: Latent Temporal Signals for Efficient and Accurate Reasoning
- ICLR 2026Training Large Language Models To Reason In Parallel With Global Forking Tokens
- ICLR 2026Training Large Reasoning Models Efficiently via Progressive Thought Encoding
- ICLR 2026TRIM: Hybrid Inference via Targeted Stepwise Routing in Multi-Step Reasoning Tasks
- ICLR 2026VERINA: Benchmarking Verifiable Code Generation
- ICLR 2026VideoMathQA: Benchmarking Mathematical Reasoning via Multimodal Understanding in Video
- ICLR 2026VisioMath: Benchmarking Figure-based Mathematical Reasoning in LMMs
- ICLR 2026WALT: Web Agents that Learn Tools
- ICLR 2026We-Math 2.0: A Versatile MathBook System for Incentivizing Visual Mathematical Reasoning
- ICLR 2026When Reasoning Meets Compression: Understanding the Effects of LLMs Compression on Large Reasoning Models
- ICLR 2026Where Did This Sentence Come From? Tracing Provenance in LLM Reasoning Distillation
- ICLR 2025Advancing Mathematical Reasoning in Language Models: The Impact of Problem-Solving Data, Data Synthesis Methods, and Training Stages
- ICLR 2025Arithmetic Without Algorithms: Language Models Solve Math with a Bag of Heuristics
- ICLR 2025B-STaR: Monitoring and Balancing Exploration and Exploitation in Self-Taught Reasoners
- ICLR 2025Can LLMs Solve Longer Math Word Problems Better?
- ICLR 2025CogCoM: A Visual Language Model with Chain-of-Manipulations Reasoning
- ICLR 2025Conformal Language Model Reasoning with Coherent Factuality
- ICLR 2025Distributional Associations vs In-Context Reasoning: A Study of Feed-forward and Attention Layers
- ICLR 2025Don't Take Things Out of Context: Attention Intervention for Enhancing Chain-of-Thought Reasoning in Large Language Models
- ICLR 2025DOTS: Learning to Reason Dynamically in LLMs via Optimal Reasoning Trajectories Search
- ICLR 2025Dualformer: Controllable Fast and Slow Thinking by Learning with Randomized Reasoning Traces
- ICLR 2025DynaMath: A Dynamic Visual Benchmark for Evaluating Mathematical Reasoning Robustness of Vision Language Models
- ICLR 2025From Probability to Counterfactuals: the Increasing Complexity of Satisfiability in Pearl's Causal Hierarchy
- ICLR 2025G-LLaVA: Solving Geometric Problem with Multi-Modal Large Language Model
- ICLR 2025Generalizing Reasoning Problems to Longer Lengths
- ICLR 2025GeoX: Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training
- ICLR 2025GReaTer: Gradients Over Reasoning Makes Smaller Language Models Strong Prompt Optimizers
- ICLR 2025GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
- ICLR 2025HARDMath: A Benchmark Dataset for Challenging Problems in Applied Mathematics
- ICLR 2025Hybrid Regularization Improves Diffusion-based Inverse Problem Solving
- ICLR 2025Improving Complex Reasoning with Dynamic Prompt Corruption: A Soft Prompt Optimization Approach
- ICLR 2025Improving Reasoning Performance in Large Language Models via Representation Engineering
- ICLR 2025INFER: A Neural-symbolic Model For Extrapolation Reasoning on Temporal Knowledge Graph
- ICLR 2025Inference Scaling Laws: An Empirical Analysis of Compute-Optimal Inference for LLM Problem-Solving
- ICLR 2025Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist
- ICLR 2025Layer Swapping for Zero-Shot Cross-Lingual Transfer in Large 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.