Certify 用 Horn 闭包证书判断证据是否足够：搜索增强模型可答/再搜/弃答三选一

论文 Certify 用 Horn 闭包证书替代模型的整体式判断，决定搜索增强模型在检索后回答、继续搜索还是弃答。在三个含不可答孪生问题的语料池上，其决策准确率显著高于搜索 agent、图检索和 sufficiency judge；2100 万 Wikipedia 段落上实体校验带来 4-13 点准确率提升。由证书生成的答案正确率达 80%，而使用全部检索段落仅 57%。