AI资讯新闻榜单内容搜索-LeanSTaR

关键词: LLM,AI,LeanSTaR,模型训练,AI数学,AI推理

LLM数学水平不及小学生怎么办？CMU清华团队提出了Lean-STaR训练框架，在语言模型进行推理的每一步中都植入CoT，提升了模型的定理证明能力，成为miniF2F上的新SOTA。