RefactorProof评估LLM证明重构稳定性

2026年10月28日，arXiv cs.AI 报道了 RefactorProof 相关研究，关注 LLM 生成的证明在程序重构后是否仍然稳定。该方法从 185 个 VERINA 任务派生出 458 个 Lean 认证变体，在规格与证明逐字节固定的前提下，对行为保持的程序重构进行检验，观察原有证明是否继续有效。报道将其定位为对可验证代码生成的压力测试，强调考察重构后的证明有效性。报道介绍了基准构建与评估方式，未给出具体通过率或模型对比结果。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。