arXiv cs.LG· Kuo Zhou, Zixiong Yang, Lu Zhang·· 9 小时前AI 评分24
SkillEvoLean：面向 Lean 证明器的变异增强技能进化框架
SkillEvoLean: Mutation-enhanced skill evolution for Lean provers
AI 导读
研究者提出 SkillEvoLean，一种变异增强的技能自进化框架，用于构建技能增强的 Lean 证明器，在不更新模型参数的前提下联合进化高层求解策略与参考知识。
来源：arXiv cs.LG · arxiv.org