CMU清华教LLM练成数学高手,LeanSTaR训练模型边思考边证明,登顶新SOTA 关键词: LLM,AI,LeanSTaR,模型训练,AI数学,AI推理 LLM数学水平不及小学生怎么办?CMU清华团队提出了Lean-STaR训练框架,在语言模型进行推理的每一步中都植入CoT,提升了模型的定理证明能力,成为miniF2F上的新SOTA。 来自主题: AI技术研报 5533 点击 2024-08-10 11:45