arXiv cs.SE· Aravind Mandiga, Guoming Li·· 3 小时前AI 评分31
RefactorProof 压力测试：LLM 生成的证明在程序重构后还稳定吗？
How Stable Are LLM-Generated Proofs Under Program Refactoring? A Stress Test for Verifiable Code Generation
AI 导读
研究团队提出 RefactorProof，从 185 个可编译的 VERINA 任务派生出 458 个经 Lean 认证的变体，在规格与证明逐字节固定的前提下检验程序重构后证明是否仍有效。
来源：arXiv cs.SE · arxiv.org