AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-08-06 至 2025-08-06 共收录 3 篇信号源：cs.CL, cs.AI, cs.LG

1. 代码与定理证明 3 篇

2508.03613 2025-08-06 cs.LG cs.AI 86%

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

专题命中代码与定理证明：self-correction(title,abstract)；test-time compute(abstract)；verifier(abstract)；分类 cs.AI、cs.LG

Comments 24 pages, 10 figures, 4 tables

2507.18337 2025-08-06 cs.AI 57%

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams

Peter Baumgartner, Lachlan McGinness

机构 * CSIRO/Data61 and Australian National University（CSIRO/Data61和澳大利亚国立大学）； Australian National University and CSIRO/Data61（澳大利亚国立大学和CSIRO/Data61）

专题命中代码与定理证明：reasoning(abstract)；分类 cs.AI

2508.02733 2025-08-06 cs.SE cs.HC 50%

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury

专题命中代码与定理证明：verifier(abstract)