Papers72°16:38Chinese contentGoogle LEAP框架:LLM解数学竞赛题正确率从10%跃至70%数学竞赛和形式化验证的开发者可以关注——LEAP 用结构优化而非模型升级就实现了 7 倍正确率提升,值得在类似推理任务中尝试。#LEAP框架#数学推理#Lean验证器#目标树AI Will@FinanceYF5SourceRead laterReadWorth followingUsefulFollow LEAP框架