★ 2
RefactorProof 基准：代码重构后 LLM 生成证明稳定性测试
论文提出 RefactorProof，从 VERINA 任务派生 458 个 Lean 认证变体，检验程序重构后证明是否仍有效。结果显示专用证明器（DeepSeek-Prover-V2-7B、Goedel-Prover-V2）的未改动证明存活率反而高于参考证明，但失败不等于修复成本高。
arXiv cs.AI5 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 RefactorProof，从 VERINA 任务派生 458 个 Lean 认证变体，检验程序重构后证明是否仍有效。结果显示专用证明器（DeepSeek-Prover-V2-7B、Goedel-Prover-V2）的未改动证明存活率反而高于参考证明，但失败不等于修复成本高。