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

137 papers, page 1 of 3

1. CVPR 2024A&B BNN: Add&Bit-Operation-Only Hardware-Friendly Binary Neural Network
2. CVPR 2024Beyond First-Order Tweedie: Solving Inverse Problems using Latent Diffusion
3. CVPR 2024E-GPS: Explainable Geometry Problem Solving via Top-Down Solver and Bottom-Up Generator
4. CVPR 2024Generating Handwritten Mathematical Expressions From Symbol Graphs: An End-to-End Pipeline
5. CVPR 2024Higher-order Relational Reasoning for Pedestrian Trajectory Prediction
6. CVPR 2024Know Your Neighbors: Improving Single-View Reconstruction via Spatial Vision-Language Reasoning
7. CVPR 2024MoReVQA: Exploring Modular Reasoning Models for Video Question Answering
8. CVPR 2024PixelLM: Pixel Reasoning with Large Multimodal Model
9. CVPR 2024Solving the Catastrophic Forgetting Problem in Generalized Category Discovery
10. CVPR 2024Synthesize Step-by-Step: Tools Templates and LLMs as Data Generators for Reasoning-Based Chart VQA
11. CVPR 2024Visual Program Distillation: Distilling Tools and Programmatic Reasoning into Vision-Language Models
12. CVPR 2024What If the TV Was Off? Examining Counterfactual Reasoning Abilities of Multi-modal Language Models
13. ICLR 2024Abstractors and relational cross-attention: An inductive bias for explicit relational reasoning in Transformers
14. ICLR 2024Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models
15. ICLR 2024Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding
16. ICLR 2024Deep SE(3)-Equivariant Geometric Reasoning for Precise Placement Tasks
17. ICLR 2024Diffusion Posterior Sampling for Linear Inverse Problem Solving: A Filtering Perspective
18. ICLR 2024Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
19. ICLR 2024Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step Reasoning
20. ICLR 2024Hypothesis Search: Inductive Reasoning with Language Models
21. ICLR 2024Large Language Model Cascades with Mixture of Thought Representations for Cost-Efficient Reasoning
22. ICLR 2024Large Language Models as Analogical Reasoners
23. ICLR 2024Large Language Models Cannot Self-Correct Reasoning Yet
24. ICLR 2024LEGO-Prover: Neural Theorem Proving with Growing Libraries
25. ICLR 2024Let's Verify Step by Step
26. ICLR 2024Llemma: An Open Language Model for Mathematics
27. ICLR 2024Magnushammer: A Transformer-Based Approach to Premise Selection
28. ICLR 2024MAmmoTH: Building Math Generalist Models through Hybrid Instruction Tuning
29. ICLR 2024MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning
30. ICLR 2024Mathematical Justification of Hard Negative Mining via Isometric Approximation Theorem
31. ICLR 2024MathVista: Evaluating Mathematical Reasoning of Foundation Models in Visual Contexts
32. ICLR 2024MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
33. ICLR 2024MuSR: Testing the Limits of Chain-of-thought with Multistep Soft Reasoning
34. ICLR 2024MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data
35. ICLR 2024NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks
36. ICLR 2024On the Markov Property of Neural Algorithmic Reasoning: Analyses and Methods
37. ICLR 2024OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
38. ICLR 2024Phenomenal Yet Puzzling: Testing Inductive Reasoning Capabilities of Language Models with Hypothesis Refinement
39. ICLR 2024REFACTOR: Learning to Extract Theorems from Proofs
40. ICLR 2024SelfCheck: Using LLMs to Zero-Shot Check Their Own Step-by-Step Reasoning
41. ICLR 2024Solving Challenging Math Word Problems Using GPT-4 Code Interpreter with Code-based Self-Verification
42. ICLR 2024Solving Inverse Problems with Latent Diffusion Models via Hard Data Consistency
43. ICLR 2024Take a Step Back: Evoking Reasoning via Abstraction in Large Language Models
44. ICLR 2024THOUGHT PROPAGATION: AN ANALOGICAL APPROACH TO COMPLEX REASONING WITH LARGE LANGUAGE MODELS
45. ICLR 2024ToRA: A Tool-Integrated Reasoning Agent for Mathematical Problem Solving
46. ICLR 2024When can transformers reason with abstract symbols?
47. ICML 2024A Neural-Guided Dynamic Symbolic Network for Exploring Mathematical Expressions from Data
48. ICML 2024Accelerating Legacy Numerical Solvers by Non-intrusive Gradient-based Meta-solving
49. ICML 2024Ambiguity-Aware Abductive Learning
50. ICML 2024Analysis for Abductive Learning and Neural-Symbolic Reasoning Shortcuts

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.