Mathematical Reasoning papers, 2023–2026

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.

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 2 of 4

51. ICLR 2026FATE: A Formal Benchmark Series for Frontier Algebra of Multiple Difficulty Levels
52. ICLR 2026From Abstract to Contextual: What LLMs Still Cannot Do in Mathematics
53. ICLR 2026Front-Loading Reasoning: The Synergy between Pretraining and Post-Training Data
54. ICLR 2026FROST: Filtering Reasoning Outliers with Attention for Efficient Reasoning
55. ICLR 2026Generative Adversarial Reasoner: Enhancing LLM Reasoning with Adversarial Reinforcement Learning
56. ICLR 2026GEPO: Group Expectation Policy Optimization for Stable Heterogeneous Reinforcement Learning
57. ICLR 2026Harder Is Better: Boosting Mathematical Reasoning via Difficulty-Aware GRPO and Multi-Aspect Question Reformulation
58. ICLR 2026Helix: Evolutionary Reinforcement Learning for Open-Ended Scientific Problem Solving
59. ICLR 2026Heterogeneous Front-Door Effects: Debiased Estimation with Quasi-Oracle Guarantees
60. ICLR 2026Hidden Patterns in Chain-of-Thought Reasoning
61. ICLR 2026Hilbert: Recursively Building Formal Proofs with Informal Reasoning
62. ICLR 2026HiPO: Self-Hint Policy Optimization for RLVR
63. ICLR 2026Improving Reasoning for Diffusion Language Models via Group Diffusion Policy Optimization
64. ICLR 2026Inductive Reasoning for Temporal Knowledge Graphs with Emerging Entities
65. ICLR 2026Is it Thinking or Cheating? Detecting Implicit Reward Hacking by Measuring Reasoning Effort
66. ICLR 2026Is the Reversal Curse a Binding Problem? Uncovering Limitations of Transformers from a Basic Generalization Failure
67. ICLR 2026KaVa: Latent Reasoning via Compressed KV-Cache Distillation
68. ICLR 2026Landscape of Thoughts: Visualizing the Reasoning Process of Large Language Models
69. ICLR 2026Latent Thinking Optimization: Your Latent Reasoning Language Model Secretly Encodes Reward Signals in its Latent Thoughts
70. ICLR 2026Latent Veracity Inference for Identifying Errors in Stepwise Reasoning
71. ICLR 2026Latent-Guided Reasoning: Empowering Small LLMs with Large-Model Thinking
72. ICLR 2026LeanForPhysics: Comprehensive Reasoning Framework for University-level Physics in Lean4
73. ICLR 2026Learn More with Less: Uncertainty Consistency Guided Query Selection for RLVR
74. ICLR 2026Learning from Synthetic Data Improves Multi-hop Reasoning
75. ICLR 2026Learning Global Hypothesis Space for Enhancing Synergistic Reasoning Chain
76. ICLR 2026Learning to Reason in Structured In-context Environments with Reinforcement Learning
77. ICLR 2026Learning to Reason over Continuous Tokens with Reinforcement Learning
78. ICLR 2026Learning to Reason without External Rewards
79. ICLR 2026Let's Explore Step by Step: Generating Provable Formal Statements with Deductive Exploration
80. ICLR 2026LINGOLY-TOO: Disentangling Reasoning from Knowledge with Templatised Orthographic Obfuscation
81. ICLR 2026LLMs are Single-threaded Reasoners: Demystifying the Working Mechanism of Soft Thinking
82. ICLR 2026LoC-Decomp: LLM Autoformalization via Logical Concept Decomposition and Iterative Feedback Correction
83. ICLR 2026LogicReward: Incentivizing LLM Reasoning via Step-Wise Logical Supervision
84. ICLR 2026Long Chain-of-Thought Reasoning Across Languages
85. ICLR 2026Math Blind: Failures in Diagram Understanding Undermine Reasoning in MLLMs
86. ICLR 2026MATH-Beyond: A Benchmark for RL to Expand Beyond the Base Model
87. ICLR 2026Mathesis: Towards Formal Theorem Proving from Natural Languages
88. ICLR 2026MathFimer: Enhancing Mathematical Reasoning by Expanding Reasoning Steps through Fill-in-the-Middle Task
89. ICLR 2026MATHMO: Automated Mathematical Modeling Through Adaptive Search
90. ICLR 2026MathNet: A Global Multimodal Benchmark for Mathematical Reasoning and Retrieval
91. ICLR 2026MSCR: Exploring the Vulnerability of LLMs’ Mathematical Reasoning Abilities Using Multi-Source Candidate Replacement
92. ICLR 2026Native Reasoning Models: Training Language Models to Reason on Unverifiable Data
93. ICLR 2026Nemotron-CC-Math: A 133 Billion-Token-Scale High Quality Math Pretraining Dataset
94. ICLR 2026Neural Force Field: Few-shot Learning of Generalized Physical Reasoning
95. ICLR 2026NFT: Bridging Supervised Learning and Reinforcement Learning in Math Reasoning
96. ICLR 2026Not All Bits Are Equal: How Model Scale Changes Memory-Optimal Reasoning
97. ICLR 2026Nudging the Boundaries of LLM Reasoning
98. ICLR 2026Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
99. ICLR 2026On the Reasoning Abilities of Masked Diffusion Language Models
100. ICLR 2026OpenThoughts: Data Recipes for Reasoning Models

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.