arXiv · cs.SE· Martim Afonso, In\^es Lynce, Maurizio Morisio, Jo\~ao F. Ferreira·· 2 天前精选AI 评分70
ProofCoder：面向 Rocq 的智能体式证明合成系统
ProofCoder: Continuous Reasoning for Automated Software Verification
AI 导读
作者提出 ProofCoder，一个面向 Rocq 的智能体式证明合成系统，让模型在证明搜索中持续推理，并依据证明助手反馈决定检索信息、查看证明状态、修改片段或回溯。
推荐理由
论文给出与 AutoRocq 的基准对比和消融结果，读者可据此判断持续推理在证明合成中的作用。
来源：arXiv · cs.SE · arxiv.org