arXiv · cs.AI· Adarsh Agrawal (Independent Researcher)·· 6 小时前
Verus验证研究揭示正确性反馈会掩盖规范完整性证据
When Correctness Feedback Erases Evidence: Phase-Separated Completeness Auditing in Verus
arXiv:2610.20676v1阅读论文 PDF ↗
仅依据论文摘要整理；未读取全文，实验条件、证明与基准细节请核对原文。
作者：Adarsh Agrawal (Independent Researcher)
研究任务与主要进展
一项基于论文摘要的研究在12个Verus/Rust任务、四个模型家族和匹配调用预算下发现，无反馈独立发现的认证见证产出率为59.0%，高于IntentShield正确性反馈循环的27.1%。分阶段执行在不重复响应的同时达到相近产出率，采用Phase-Revised契约后实现成功率为81.3%，高于IS-Revised的62.5%；该现象未在现有Dafny和Lean评估中复现。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请结合上方论文版本、资料范围与原文核验。
来源：arXiv · cs.AI · arxiv.org