arXiv cs.AI· Zihan Tang, Huibiao Zhu·· 3 天前AI 评分20
LASER：面向长距离协议依赖的可废止证书搜索
LASER: Defeasible Certificate Search for Long-Range Protocol Dependencies
AI 导读
LASER 是一种面向稀疏、可废止协议证据的证明携带搜索方法，将缺失依据与未决修正表示为显式义务，由符号检查器判定证书是支持、反驳还是无法裁决某行为。在 91 个 BehaviorCheck 家族、2K 预算下，LASER 在两个模型族上将 Joint Edge+Proof 分别提升 .132（p=.017）和 .198（p<.001），并将误发现减少 2–3 倍。
正文 · AI 翻译
摘要：协议规范很少在一处为可执行行为提供充分依据：一个转换可能从远程控制块继承其源状态，仅以编号命名其事件，并且仍可能受到后续修正的约束。因此，仅恢复邻近条款是不够的；系统必须组装一个源链接证书，并确定是否有任何更强的规则适用。我们提出 LASER，一种针对稀疏、可废止协议证据的携带证明的搜索方法。LASER 将缺失的支持和未解决的修正表示为显式义务，搜索类型化证据路径，并让一个感知出现的符号检查器单独决定证书是支持、反驳还是使某一行为悬而未决。在匹配的 2K 预算下，针对 91 个 BehaviorCheck 家族，LASER 在两个模型家族上相比最强的局部读取器提升了联合边+证明（$\Delta=+.132$，$p=.017$；$\Delta=+.198$，$p<.001$），同时将错误发现减少了 2--3$\times$。受控重放将增益及其局限归因如下：仅参考路由或确定性引用扩展均未超过局部基线；整文档阅读（29--65K tokens）、两轮迭代检索，甚至 oracle 最小证书证据，均未能达到 LASER，将瓶颈定位在类型化义务闭合而非证据获取上。一次权威损坏重放表明，源链接错误只会导致弃权，而唯一的不安全支持机制是将 Held 勘误误记为 Verified，且仅限于该勘误的家族。因此，LASER 改进了长距离依赖恢复，同时将不完整证据和不确定权威转化为显式剩余义务，而非无支持的行为。
| 评论： | 11 页，6 幅图，10 张表 |
| 主题： | 软件工程（cs.SE）；人工智能（cs.AI） |
| ACM 分类： | I.2.3；I.2.7；D.2.4 |
| 引用为： | arXiv:2610.14552 [cs.SE] |
| （或 arXiv:2610.14552v1 [cs.SE] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.14552 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Zihan Tang [查看电子邮件]
[v1]
2026 年 10 月 10 日星期六 04:18:25 UTC（3,769 KB）
来源：arXiv cs.AI · arxiv.org