arXiv · Machine Learning· Kuo Zhou, Zixiong Yang, Lu Zhang·· 8 小时前AI 评分12
SkillEvoLean：通过增强变异实现 Lean 证明器的技能进化
SkillEvoLean: Mutation-enhanced skill evolution for Lean provers
AI 导读
SkillEvoLean 提出一种增强变异的技能自进化框架，联合优化 Lean 证明器的高层求解策略与数学参考知识。该方法结合渐进式更新和概念引导变异，在 MiniF2F、PutnamBench、IMO 2025 和 USAMO 2026 上使用 GPT-5.5 分别取得 100.0%、90.6%、4/6 和 4/6 的证明成功率。
来源：arXiv · Machine Learning · arxiv.org