Search papers, labs, and topics across Lattice.
This paper introduces HALT, a verification-aware stopping policy designed for retrieval-augmented search agents that addresses the inefficiencies of redundant searches in multi-hop question answering. By framing the stopping criterion in terms of evidence coverage rather than generator confidence, HALT effectively reduces unnecessary retrieval while maintaining high exact match rates across multiple benchmarks. The results indicate that HALT can significantly optimize search processes, particularly when using gold supporting-fact annotations, demonstrating the potential for improved efficiency in real-world applications without altering the underlying search agent.
HALT achieves substantial reductions in redundant search queries while preserving accuracy, redefining how we approach stopping criteria in retrieval-augmented systems.
Retrieval-augmented search agents answer multi-hop questions by repeatedly issuing search queries and accumulating evidence. This creates a stopping problem: after the necessary evidence has appeared, further retrieval often adds cost, latency, and distracting context rather than useful information. We frame stopping as evidence coverage rather than generator confidence, and introduce HALT, a lightweight verification-aware policy that leaves the search agent unchanged. Given expected hop claims, HALT stops only when cumulative evidence supports each required claim. Across three multi-hop QA benchmarks, HALT reduces redundant search while largely preserving exact match. We separate a deployable setting, where hop claims are generated from the question, from a diagnostic upper bound that uses gold supporting-fact annotations: generated claims give smaller but still exact-match-preserving savings, while gold claims show the larger savings available when hop targets are clean. Baseline comparisons and ablations show that this behavior is driven by claim-evidence alignment rather than generic sufficiency, fixed stop positions, or lexical overlap. Open-corpus pilots further suggest that HALT abstains when coverage cannot be reliably verified. Overall, evidence coverage provides a practical runtime control signal for improving retrieval-augmented agents without retraining or modifying the host agent.
