arXiv Artificial Intelligence· Aravind Mandiga, Guoming Li·· 19 小时前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 Artificial Intelligence · arxiv.org