#Lean验证器

共 2 条 · 7 天 0 条 · 30 天 0 条

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

6月5日

论文72°16:38

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

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

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

AI Will@FinanceYF5原文

论文76°16:36

Google LEAP：让通用LLM形式数学证明成功率从10%飙升至70%

做 AI 推理、数学证明或形式化验证的团队会发现，LEAP 把通用 LLM 的数学能力拉高了一个量级——不用专用模型也能解 IMO 级难题，值得直接看论文复现思路。

#形式数学 #LEAP #Lean验证器 #智能体框架

AI Will@FinanceYF5原文