数学推理论文趋势 2023–2026
定理与解题
统计范围：NeurIPS、ICLR、ICML、CVPR 四个会议，2023–2026 年，共 1,085 篇被归入该主题的论文。
主要结论
- 数学推理论文从 2023 年的 57 篇增长到 2026 年的 577 篇，三年间扩大到约 10 倍。
- NeurIPS 是发数学推理论文最多的会议，2023–2026 年共 469 篇，占四个会议总量的 43%。
- 交叉方向里涨得最快的是强化学习：同时属于两个主题的论文从 2023 年的 3 篇增至 2026 年的 140 篇。
- 在「神经符号」的 5 个主题里，它的 2026 年论文数排第 1；同组增长最快的可微推理是 2.5 倍，数学推理是 10 倍。
各会议论文数
按年份和会议统计
| 年份 | NeurIPS | ICLR | ICML | CVPR | 合计 |
|---|---|---|---|---|---|
| 2023 | 19 | 17 | 11 | 10 | 57 |
| 2024 | 52 | 34 | 39 | 12 | 137 |
| 2025 | 190 | 61 | 45 | 18 | 314 |
| 2026 | 208 | 175 | 113 | 81 | 577 |
代表论文
按年份和会议均匀挑选，方便快速看到每一届的样貌
- 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
全部数学推理论文
共 287 篇，第 5 / 6 页
- ICLR 2025LeanAgent: Lifelong Learning for Formal Theorem Proving
- ICLR 2025Learning to Plan Before Answering: Self-Teaching LLMs to Learn Abstract Plans for Problem Solving
- ICLR 2025MathCoder2: Better Math Reasoning from Continued Pretraining on Model-translated Mathematical Code
- ICLR 2025MathGAP: Out-of-Distribution Evaluation on Problems with Arbitrarily Complex Proofs
- ICLR 2025MAVIS: Mathematical Visual Instruction Tuning with an Automatic Data Engine
- ICLR 2025MIND: Math Informed syNthetic Dialogues for Pretraining LLMs
- ICLR 2025MIRAGE: Evaluating and Explaining Inductive Reasoning Process in Language Models
- ICLR 2025Mitigating Modality Prior-Induced Hallucinations in Multimodal Large Language Models via Deciphering Attention Causality
- ICLR 2025MLPs Learn In-Context on Regression and Classification Tasks
- ICLR 2025MR-GSM8K: A Meta-Reasoning Benchmark for Large Language Model Evaluation
- ICLR 2025Multiagent Finetuning: Self Improvement with Diverse Reasoning Chains
- ICLR 2025Mutual Reasoning Makes Smaller LLMs Stronger Problem-Solver
- ICLR 2025Number Cookbook: Number Understanding of Language Models and How to Improve It
- ICLR 2025Omni-MATH: A Universal Olympiad Level Mathematic Benchmark for Large Language Models
- ICLR 2025OpenMathInstruct-2: Accelerating AI for Math with Massive Open-Source Instruction Data
- ICLR 2025Physics of Language Models: Part 2.1, Grade-School Math and the Hidden Reasoning Process
- ICLR 2025Physics of Language Models: Part 2.2, How to Learn From Mistakes on Grade-School Math Problems
- ICLR 2025Procedural Knowledge in Pretraining Drives Reasoning in Large Language Models
- ICLR 2025Process Reward Model with Q-value Rankings
- ICLR 2025Progress or Regress? Self-Improvement Reversal in Post-training
- ICLR 2025Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
- ICLR 2025Reasoning Elicitation in Language Models via Counterfactual Feedback
- ICLR 2025Reasoning with Latent Thoughts: On the Power of Looped Transformers
- ICLR 2025ReGenesis: LLMs can Grow into Reasoning Generalists via Self-Improvement
- ICLR 2025SBSC: Step-by-Step Coding for Improving Mathematical Olympiad Performance
- ICLR 2025Scaling LLM Test-Time Compute Optimally Can be More Effective than Scaling Parameters for Reasoning
- ICLR 2025Seq-VCR: Preventing Collapse in Intermediate Transformer Representations for Enhanced Reasoning
- ICLR 2025Smaller, Weaker, Yet Better: Training LLM Reasoners via Compute-Optimal Sampling
- ICLR 2025Systematic Relational Reasoning With Epistemic Graph Neural Networks
- ICLR 2025ThinkBot: Embodied Instruction Following with Thought Chain Reasoning
- ICLR 2025To CoT or not to CoT? Chain-of-thought helps mainly on math and symbolic reasoning
- ICLR 2025Token-Supervised Value Models for Enhancing Mathematical Problem-Solving Capabilities of Large Language Models
- ICLR 2025Transformer Encoder Satisfiability: Complexity and Impact on Formal Reasoning
- ICLR 2025TypedThinker: Diversify Large Language Model Reasoning with Typed Thinking
- ICLR 2025UGMathBench: A Diverse and Dynamic Benchmark for Undergraduate-Level Mathematical Reasoning with Large Language Models
- ICLR 2025WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct
- ICLR 2024Abstractors and relational cross-attention: An inductive bias for explicit relational reasoning in Transformers
- ICLR 2024Boosting of Thoughts: Trial-and-Error Problem Solving with Large Language Models
- ICLR 2024Chain-of-Table: Evolving Tables in the Reasoning Chain for Table Understanding
- ICLR 2024Deep SE(3)-Equivariant Geometric Reasoning for Precise Placement Tasks
- ICLR 2024Diffusion Posterior Sampling for Linear Inverse Problem Solving: A Filtering Perspective
- ICLR 2024Don't Trust: Verify -- Grounding LLM Quantitative Reasoning with Autoformalization
- ICLR 2024Escape Sky-high Cost: Early-stopping Self-Consistency for Multi-step Reasoning
- ICLR 2024Hypothesis Search: Inductive Reasoning with Language Models
- ICLR 2024Large Language Model Cascades with Mixture of Thought Representations for Cost-Efficient Reasoning
- ICLR 2024Large Language Models as Analogical Reasoners
- ICLR 2024Large Language Models Cannot Self-Correct Reasoning Yet
- ICLR 2024LEGO-Prover: Neural Theorem Proving with Growing Libraries
- ICLR 2024Let's Verify Step by Step
- ICLR 2024Llemma: An Open Language Model for Mathematics
在 Claude、Cursor 里直接问这个趋势
接上 Paperlist MCP 后，写综述、挑方向或准备投稿时，不用离开对话框就能拿到这页的数字：每年各会议的论文数、增长倍数、涨得最快的子方向和代表论文，AI 会按你的问题整理。
可以直接复制这句话问 AI
用 paperlist 查数学推理在 NeurIPS 2023–2026 的论文趋势，哪一年涨得最快？
AI 会调用的工具：get_topic_stats {"topic": "math-reasoning"}
常见问题
- 2023–2026 年四大会议一共有多少篇数学推理论文？
- 共 1,085 篇，按年份分别是 2023 年 57 篇、2024 年 137 篇、2025 年 314 篇、2026 年 577 篇。
- NeurIPS 2026 有多少篇数学推理论文？
- NeurIPS 2026 有 208 篇数学推理论文，上一届是 190 篇。
- ICLR 2026 有多少篇数学推理论文？
- ICLR 2026 有 175 篇数学推理论文，上一届是 61 篇。
- ICML 2026 有多少篇数学推理论文？
- ICML 2026 有 113 篇数学推理论文，上一届是 45 篇。
- CVPR 2026 有多少篇数学推理论文？
- CVPR 2026 有 81 篇数学推理论文，上一届是 18 篇。
- 哪个会议的数学推理论文最多？
- NeurIPS，2023–2026 年共 469 篇。