AI 大模型

大模型推理能力

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

2025-10-15 至 2025-10-15 共收录 2 篇信号源：cs.CL, cs.AI, cs.LG

1. 代码与定理证明 2 篇

2510.12164 2025-10-15 cs.CL 83%

Ziqi Wang, Boye Niu, Zipeng Gao, Zhi Zheng, Tong Xu, Linghui Meng, Zhongli Li, Jing Liu, Yilong Chen, Chen Zhu, Hua Wu, Haifeng Wang, Enhong Chen

机构 * USTC（中国科学技术大学）； Baidu（百度）； USYD（悉尼大学）

专题命中代码与定理证明：reasoning(title,abstract)；chain-of-thought(abstract)；分类 cs.CL

2510.11986 2025-10-15 cs.CL cs.AI 81%

Jasivan Alex Sivakumar, Philipp Borchert, Ronald Cardenas, Gerasimos Lampouras

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