#目标树

共 1 条 · 7 天 0 条 · 30 天 0 条

信息流里打上「目标树」标签的资讯、产品与论文，按刊登时间排，新的在上。

6月5日

论文72°16:38

Google LEAP框架：LLM解数学竞赛题正确率从10%跃至70%

数学竞赛和形式化验证的开发者可以关注——LEAP 用结构优化而非模型升级就实现了 7 倍正确率提升，值得在类似推理任务中尝试。

#LEAP框架 #数学推理 #Lean验证器 #目标树

AI Will@FinanceYF5原文