arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

大模型推理能力

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

2025-08-14 至 2025-08-14 共收录 1 信号源:cs.CL, cs.AI, cs.LG

1. 代码与定理证明 1 篇

2507.20199 2025-08-14 cs.AI 57%

StepFun-Prover Preview: Let's Think and Verify Step by Step

Shijie Shang, Ruosi Wan, Yue Peng, Yutong Wu, Xiong-hui Chen, Jie Yan, Xiangyu Zhang

机构 * StepFun University of Chinese Academy of Sciences(中国科学院大学)

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

Comments Added links to GitHub and Hugging Face

详情

展开后加载摘要…

URL PDF HTML 收藏