arXiv ID:
2607.06341
arXiv 提交日期: 2026-07-07
利用代码智能体实现自动化软件验证 / Harnessing Code Agents for Automatic Software Verification
1️⃣ 一句话总结
本文提出一种新方法,直接用大型语言模型代码智能体(如Claude Code)自动生成形式化验证的证明,无需人工预设证明策略,在多个测试集上实现了全部定理的自动证明,显著优于现有方法。