大模型推理能力

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

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

1. 代码与定理证明 1 篇

2508.16245 2025-08-25 cs.GT cs.LG cs.MA econ.TH 57%

Limit-Computable Grains of Truth for Arbitrary Computable Extensive-Form (Un)Known Games

Cole Wyeth, Marcus Hutter, Jan Leike, Jessica Taylor

机构 * David R. Cheriton School of Computer Science, University of Waterloo（多伦多大学大卫·R·切里顿计算机科学学院）； Google DeepMind and Australian National University（谷歌DeepMind和澳大利亚国立大学）； Anthropic（Anthropic公司）； Median Group（Median集团）

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

Comments 42 pages; 2 figures; 7 algorithms

↑