StepFun-Prover Preview: Let's Think and Verify Step by Step
机构 * StepFun ; University of Chinese Academy of Sciences(中国科学院大学)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI
Comments Added links to GitHub and Hugging Face
AI 大模型
大模型数学、逻辑、规划、多步推理和测试时计算能力。
机构 * StepFun ; University of Chinese Academy of Sciences(中国科学院大学)
专题命中 代码与定理证明 :reasoning(abstract);分类 cs.AI
Comments Added links to GitHub and Hugging Face