★ 2
研究：正确性反馈削弱 Verus 规格完整性审计证据
arXiv 论文在 12 个 Verus/Rust 任务、四个模型家族上发现，正确性反馈会抑制规格完整性审计本应发现的证据：无反馈独立发现的认证见证产出率 59.0%，远高于 IntentShield 纠正反馈循环的 27.1%。保留这些见证可带来更强的规格修复效果，Phase-Revised 合…
arXiv cs.AI17 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
arXiv 论文在 12 个 Verus/Rust 任务、四个模型家族上发现，正确性反馈会抑制规格完整性审计本应发现的证据：无反馈独立发现的认证见证产出率 59.0%，远高于 IntentShield 纠正反馈循环的 27.1%。保留这些见证可带来更强的规格修复效果，Phase-Revised 合…