SkillEvoLean 论文因不符合 arXiv 质量标准被撤回
热点事件持续更新
SkillEvoLean 论文因不符合 arXiv 质量标准被撤回
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
arXiv 管理员已撤回 SkillEvoLean 论文，理由是该投稿不符合 arXiv 的研究内容质量标准。撤回对象为《SkillEvoLean: Mutation-enhanced skill evolution for Lean provers》，撤回决定由 arXiv Admin 作出。 该论文提出通过增强变异实现 Lean 证明器的技能自进化，联合优化高层求解策略与数学参考知识。论文报告称，使用 GPT-5.5 在 MiniF2F、PutnamBench、IMO 2025 和 USAMO 2026 上分别取得 100.0%、90.6%、4/6 和 4/6 的证明成功率；这些实验结果不改变论文已被撤回的状态。
AI 根据报道生成 · 2 小时前更新
最新进展11月2日 13:00
SkillEvoLean：通过增强变异实现 Lean 证明器的技能进化报道时间线
沿着报道，了解事件的不同侧面。
11月2日
- arXiv · Machine LearningSkillEvoLean：通过增强变异实现 Lean 证明器的技能进化
SkillEvoLean 提出一种增强变异的技能自进化框架，联合优化 Lean 证明器的高层求解策略与数学参考知识。该方法结合渐进式更新和概念引导变异，在 MiniF2F、PutnamBench、IMO 2025 和 USAMO 2026 上使用 GPT-5.5 分别取得 100.0%、90.6%、4/6 和 4/6 的证明成功率。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。