ProofCoder 将 Rocq 证明成功率提至 60%
热点事件持续更新
ProofCoder 将 Rocq 证明成功率提至 60%
1 篇报道1 个报道来源9 小时前更新
先了解这件事
AI 综述
Martim Afonso 等作者提出面向 Rocq 的智能体式证明合成系统 ProofCoder，在 AutoRocq Benchmark 的 280 个验证任务上把证明成功率从 47% 提升到 60%，相对提升 27.7%，成本约为原来的一半。 该系统从编码智能体的角度处理定理证明，目标是服务自动化软件验证。上述成功率与成本数据来自作者在 AutoRocq Benchmark 上的评估。
AI 根据报道生成 · 47 分钟前更新
最新进展11月11日 13:00
ProofCoder：面向自动化软件验证的持续推理系统报道时间线
沿着报道，了解事件的不同侧面。
11月11日
- arXiv cs.AIProofCoder：面向自动化软件验证的持续推理系统
ProofCoder 是一个面向 Rocq 的智能体式证明合成系统，在 AutoRocq Benchmark 的 280 个验证任务上把证明成功率从 47% 提升到 60%，相对提升 27.7%，成本约为原来的一半。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。