AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 1 篇

2509.26546 2025-11-17 cs.SE cs.LG 79%

Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra

机构 * University of Texas at Austin（德克萨斯大学奥斯汀分校）； Google DeepMind（谷歌DeepMind）； Google（谷歌）； Meta Platforms（元平台）

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

Comments 43 pages