AI 大模型

大模型推理能力

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

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

1. 代码与定理证明 2 篇

2508.19201 2025-08-27 cs.LG cs.AI stat.ML 81%

Heng Lin, Zhongwen Xu

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

2508.18675 2025-08-27 cs.SE 50%

Xu Lu, Weisong Sun, Yiran Zhang, Ming Hu, Cong Tian, Zhi Jin, Yang Liu

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