★ 3
DRAGO：确定性诊断修复 LLM 生成形式化规格，回归率降至 1.3%
论文提出 DRAGO 修复框架，用确定性、形式化系统专属诊断替代无依据的 LLM 批评，仅在诊断错误权重严格下降时保留改写。在 SMT-LIB2、MiniZinc、PDDL 五个基准上，回归率从 11.8% 降至 1.3%，答案准确率较零样本形式化提升 12.9 个百分点。论文还发现 Planet…
arXiv cs.AI13 天前
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
论文提出 DRAGO 修复框架，用确定性、形式化系统专属诊断替代无依据的 LLM 批评，仅在诊断错误权重严格下降时保留改写。在 SMT-LIB2、MiniZinc、PDDL 五个基准上，回归率从 11.8% 降至 1.3%，答案准确率较零样本形式化提升 12.9 个百分点。论文还发现 Planet…
arXiv 论文在 12 个 Verus/Rust 任务、四个模型家族上发现，正确性反馈会抑制规格完整性审计本应发现的证据：无反馈独立发现的认证见证产出率 59.0%，远高于 IntentShield 纠正反馈循环的 27.1%。保留这些见证可带来更强的规格修复效果，Phase-Revised 合…