arXiv · cs.CL· Xinyu Zhang·· 1 天前AI 评分46
Certify：基于 Horn 闭包证书的需求导向搜索，判断证据何时足够
Knowing When the Evidence Is Enough: Requirement-Directed Search with Horn-Closure Certificates
来源与原文
arXiv · cs.CL
作者：Xinyu Zhang
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.34684v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
论文提出 Certify，一种让搜索增强模型结构性判断证据是否充分的方法：将问题分解为需求超图，按需求检索并通过实体校验建立关联，再由 Horn 闭包给出最小充分证据证书或指明缺失需求的弃答。在三个含不可答对照的语料上，其决策准确率显著优于搜索智能体、图检索与充分性判断器；在 21M Wikipedia 语段上实体校验带来 4 到 13 个百分点的准确率提升，基于证书的回答正确率为 80%，高于使用全部检索语段的 57%。
来源：arXiv · cs.CL · arxiv.org