RefactorProof：重构下LLM证明稳定性测试
热点事件持续更新
RefactorProof：重构下LLM证明稳定性测试
1 篇报道1 个报道来源2 小时前更新
先了解这件事
AI 综述
Aravind Mandiga 与 Guoming Li 提出 RefactorProof 基准，从 185 个可在固定环境编译的 VERINA 任务中派生出 458 个 Lean 认证重构变体，在保持规格说明与被评估证明逐字节不变的前提下改变程序实现，检验 LLM 生成证明在重构下的稳定性。 研究者称，该基准衡量的是程序重构后证明不变时的稳定性，而非证明被破坏后维护修复的成本；模型与参考证明的主要对比还在 21–25 个简短非递归任务上进行。
AI 根据报道生成 · 1 小时前更新
最新进展10月28日 12:00
RefactorProof：重构下 LLM 生成证明的稳定性压力测试报道时间线
沿着报道，了解事件的不同侧面。
10月28日
- arXiv cs.AIRefactorProof：重构下 LLM 生成证明的稳定性压力测试
一项研究提出 RefactorProof 基准，用行为保持的程序重构检验可验证代码生成中证明的稳定性，从 185 个 VERINA 任务派生出 458 个 Lean 认证变体。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。