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

577 papers, page 9 of 12

401. NeurIPS 2026Can LLM Agents Respond to Disasters? Benchmarking Heterogeneous Geospatial Reasoning in Emergency Operations
402. NeurIPS 2026CasePlay: Self-Play Reinforcement Learning from Case Reports for Medical Reasoning
403. NeurIPS 2026CAVE: A Structured Credit Assignment Approach for Fragmented Visual Evidence Reasoning
404. NeurIPS 2026CellularS2-Bench: A Staged, Evidence-Grounded Benchmark for Cellular Network Security Reasoning
405. NeurIPS 2026ChainSpace: A Chained-Reasoning Paradigm for Spatial Intelligence
406. NeurIPS 2026CineMME: Benchmarking Fine-Grained Perception and Plot Reasoning in Multimodal Large Language Models
407. NeurIPS 2026CircuitSeer: Mining High-Quality Data by Probing Mathematical Reasoning Circuits in LLMs
408. NeurIPS 2026Collaborative Reasoning Distillation via Cross-Feedback and Coherent Curation
409. NeurIPS 2026Commit Then Explore: Reasoning Models Diversify, Not Converge
410. NeurIPS 2026Compositional Generalization Certificates via the Van Kampen Theorem
411. NeurIPS 2026Concise Reasoning Through the Lens of Lagrangian Optimization
412. NeurIPS 2026Confidence-Calibrated Inference Expansion for Evaluator-Guided Test-Time Reasoning
413. NeurIPS 2026Consolidating Reasoning with Test-Time Learning
414. NeurIPS 2026Contractive Restoring Flows: Robust Reasoning Distillation via Orbital Stability
415. NeurIPS 2026Contrastive Thinking Decoding: Steering Answer Generation in Reasoning Models
416. NeurIPS 2026Convex Compositional Reasoning Models
417. NeurIPS 2026CoRE-RL: Co-evolving Reasoning Trajectories and Evidence Subgraphs with Learned Evidence Projection
418. NeurIPS 2026Correct but Unselectable: The Hidden Interface Tax in Multi-Candidate Reasoning
419. NeurIPS 2026Corrective Diffusion Language Models
420. NeurIPS 2026Credit Assignment with Resets in Language Model Reasoning
421. NeurIPS 2026CryptanalysisBench: Can LLMs do cryptanalysis?
422. NeurIPS 2026CurveBench: A Benchmark for Exact Topological Reasoning over Nested Jordan Curves
423. NeurIPS 2026DACE RL for Compute Efficient Reinforcement Learning in Small Model Reasoning
424. NeurIPS 2026Data Diversity Drives the Emergence of Symbolic Mechanisms Supporting Abstract Reasoning
425. NeurIPS 2026Decoding the Critique Mechanism in Large Reasoning Models
426. NeurIPS 2026Deep Reasoning in General Purpose Agents via Structured Meta-Cognition
427. NeurIPS 2026Depth-Recurrent Attention Mixtures: Giving Latent Reasoning the Attention it Deserves
428. NeurIPS 2026DocScope: Benchmarking Verifiable Reasoning for Trustworthy Long-Document Understanding
429. NeurIPS 2026Does Your Large Language Model Have An Intuitive Sense of The Difficulty of A Question?
430. NeurIPS 2026DRAGON : A Benchmark for Evidence-Grounded Visual Reasoning over Diagrams
431. NeurIPS 2026DualSAT: A Dual-Branch GNN-Transformer Framework for SAT Solving
432. NeurIPS 2026Efficient Reasoning via Constrained Optimization in Latent Space
433. NeurIPS 2026Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models
434. NeurIPS 2026Exact Posterior Score Estimation for Solving Linear Inverse Problems
435. NeurIPS 2026Extraneous Cognitive Load in Large Language Models
436. NeurIPS 2026FACBench: A Benchmark for Formal-Anchor Collisions in Multilingual Mathematical Grounding
437. NeurIPS 2026Failure Profiling and Reachable Trajectory Selection for Reasoning Distillation
438. NeurIPS 2026FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence
439. NeurIPS 2026Fixed-Point Reasoning: Stable and Adaptive Deep Looped Models
440. NeurIPS 2026From Finding to Linking: Benchmarking and Advancing Cross-Long-Video Reasoning for Multimodal LLMs
441. NeurIPS 2026From Reasoning Chains to Verifiable Subproblems: Curriculum Reinforcement Learning Enables Credit Assignment for LLM Reasoning
442. NeurIPS 2026From Solver Trajectories to Teaching Trajectories: Cognition-Aligned Reasoning Distillation
443. NeurIPS 2026GeLVR: Geometry-Consistent Latent Visual Reasoning in Multimodal LLMs
444. NeurIPS 2026GeoDial: A Multimodal Dialog Tutoring Dataset for Geometry Problem-Solving with Visual Tutor Turns
445. NeurIPS 2026Geometric Latent Reasoning Induces Shorter Generations in LLMs
446. NeurIPS 2026Geometric Signatures of Reasoning: A Spectral Perspective on Task Hardness
447. NeurIPS 2026GeoX: Mastering Geospatial Reasoning Through Self-Play and Verifiable Rewards
448. NeurIPS 2026GUI-Libra: Data-Efficient Post-Training for Reliable Reasoning-and-Acting in Native GUI Agents
449. NeurIPS 2026Hide to See: Reasoning-prefix Masking for Visual-anchored Thinking in VLM Distillation
450. NeurIPS 2026HierRR: Enhancing Instruction Alignment in Open-Vocabulary Indoor Scene Synthesis via Agentic Hierarchical Reasoning and Reflection

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.