AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 3 篇

2509.20182 2025-09-25 cs.AR cs.AI 57%

Amulya Bhattaram, Janani Ramamoorthy, Ranit Gupta, Diana Marculescu, Dimitrios Stamoulis

机构 * Chandra Family Department of Electrical and Computer Engineering（查克拉家族电子与计算机工程系）

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

Comments Accepted: ML for Systems Workshop NeurIPS 2025

2509.19854 2025-09-25 cs.LO math.AC 50%

Alessandro Linzi

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

2509.15754 2025-09-25 cs.CR cs.PL cs.SE 50%

Toby Sharp

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