数学推理论文趋势 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
全部数学推理论文
共 577 篇,第 9 / 12 页
- NeurIPS 2026Can LLM Agents Respond to Disasters? Benchmarking Heterogeneous Geospatial Reasoning in Emergency Operations
- NeurIPS 2026CasePlay: Self-Play Reinforcement Learning from Case Reports for Medical Reasoning
- NeurIPS 2026CAVE: A Structured Credit Assignment Approach for Fragmented Visual Evidence Reasoning
- NeurIPS 2026CellularS2-Bench: A Staged, Evidence-Grounded Benchmark for Cellular Network Security Reasoning
- NeurIPS 2026ChainSpace: A Chained-Reasoning Paradigm for Spatial Intelligence
- NeurIPS 2026CineMME: Benchmarking Fine-Grained Perception and Plot Reasoning in Multimodal Large Language Models
- NeurIPS 2026CircuitSeer: Mining High-Quality Data by Probing Mathematical Reasoning Circuits in LLMs
- NeurIPS 2026Collaborative Reasoning Distillation via Cross-Feedback and Coherent Curation
- NeurIPS 2026Commit Then Explore: Reasoning Models Diversify, Not Converge
- NeurIPS 2026Compositional Generalization Certificates via the Van Kampen Theorem
- NeurIPS 2026Concise Reasoning Through the Lens of Lagrangian Optimization
- NeurIPS 2026Confidence-Calibrated Inference Expansion for Evaluator-Guided Test-Time Reasoning
- NeurIPS 2026Consolidating Reasoning with Test-Time Learning
- NeurIPS 2026Contractive Restoring Flows: Robust Reasoning Distillation via Orbital Stability
- NeurIPS 2026Contrastive Thinking Decoding: Steering Answer Generation in Reasoning Models
- NeurIPS 2026Convex Compositional Reasoning Models
- NeurIPS 2026CoRE-RL: Co-evolving Reasoning Trajectories and Evidence Subgraphs with Learned Evidence Projection
- NeurIPS 2026Correct but Unselectable: The Hidden Interface Tax in Multi-Candidate Reasoning
- NeurIPS 2026Corrective Diffusion Language Models
- NeurIPS 2026Credit Assignment with Resets in Language Model Reasoning
- NeurIPS 2026CryptanalysisBench: Can LLMs do cryptanalysis?
- NeurIPS 2026CurveBench: A Benchmark for Exact Topological Reasoning over Nested Jordan Curves
- NeurIPS 2026DACE RL for Compute Efficient Reinforcement Learning in Small Model Reasoning
- NeurIPS 2026Data Diversity Drives the Emergence of Symbolic Mechanisms Supporting Abstract Reasoning
- NeurIPS 2026Decoding the Critique Mechanism in Large Reasoning Models
- NeurIPS 2026Deep Reasoning in General Purpose Agents via Structured Meta-Cognition
- NeurIPS 2026Depth-Recurrent Attention Mixtures: Giving Latent Reasoning the Attention it Deserves
- NeurIPS 2026DocScope: Benchmarking Verifiable Reasoning for Trustworthy Long-Document Understanding
- NeurIPS 2026Does Your Large Language Model Have An Intuitive Sense of The Difficulty of A Question?
- NeurIPS 2026DRAGON : A Benchmark for Evidence-Grounded Visual Reasoning over Diagrams
- NeurIPS 2026DualSAT: A Dual-Branch GNN-Transformer Framework for SAT Solving
- NeurIPS 2026Efficient Reasoning via Constrained Optimization in Latent Space
- NeurIPS 2026Escaping the Cognitive Well: Efficient Competition Math with Off-the-Shelf Models
- NeurIPS 2026Exact Posterior Score Estimation for Solving Linear Inverse Problems
- NeurIPS 2026Extraneous Cognitive Load in Large Language Models
- NeurIPS 2026FACBench: A Benchmark for Formal-Anchor Collisions in Multilingual Mathematical Grounding
- NeurIPS 2026Failure Profiling and Reachable Trajectory Selection for Reasoning Distillation
- NeurIPS 2026FaithSieve: Fine-Grained Evaluation of Math Proofs with Faithful Formal Evidence
- NeurIPS 2026Fixed-Point Reasoning: Stable and Adaptive Deep Looped Models
- NeurIPS 2026From Finding to Linking: Benchmarking and Advancing Cross-Long-Video Reasoning for Multimodal LLMs
- NeurIPS 2026From Reasoning Chains to Verifiable Subproblems: Curriculum Reinforcement Learning Enables Credit Assignment for LLM Reasoning
- NeurIPS 2026From Solver Trajectories to Teaching Trajectories: Cognition-Aligned Reasoning Distillation
- NeurIPS 2026GeLVR: Geometry-Consistent Latent Visual Reasoning in Multimodal LLMs
- NeurIPS 2026GeoDial: A Multimodal Dialog Tutoring Dataset for Geometry Problem-Solving with Visual Tutor Turns
- NeurIPS 2026Geometric Latent Reasoning Induces Shorter Generations in LLMs
- NeurIPS 2026Geometric Signatures of Reasoning: A Spectral Perspective on Task Hardness
- NeurIPS 2026GeoX: Mastering Geospatial Reasoning Through Self-Play and Verifiable Rewards
- NeurIPS 2026GUI-Libra: Data-Efficient Post-Training for Reliable Reasoning-and-Acting in Native GUI Agents
- NeurIPS 2026Hide to See: Reasoning-prefix Masking for Visual-anchored Thinking in VLM Distillation
- NeurIPS 2026HierRR: Enhancing Instruction Alignment in Open-Vocabulary Indoor Scene Synthesis via Agentic Hierarchical Reasoning and Reflection
在 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 篇。