HALT: Verification-Aware Stopping for Retrieval-Augmented Search Agents
HALT 将搜索智能体的停止条件从生成器置信度改为逐跳证据覆盖:先从问题生成预期 hop claims,再用轻量验证器为累计证据标记 MATCH、PARTIAL 或 NULL,只有所有 claim 被覆盖时才停止。论文在三个多跳问答基准上显示可减少冗余搜索,同时基本保持 Exact Match;消融表明收益来自 claim–evidence 对齐,而非固定轮数或词面重叠。
INSIGHT在 UGC 复杂检索中,搜索轮数上限不是好的成本控制信号,按子问题证据覆盖停止更容易解释和审计。可将 HALT 作为冻结现有 Agent 的旁路策略,输出每个 hop 的覆盖状态,并在无法可靠验证时主动 abstain;部署前需单独评估 claim 生成错误对召回和延迟的影响。