Xin-Yu Zhang

Knowing When the Evidence Is Enough: Requirement-Directed Search with Horn-Closure Certificates

After each Web search, a search-augmented model must decide whether its evidence suffices: answer, search again, or abstain. Prevailing systems leave this to holistic model judgement, which can accept a context naming every entity yet lacking one required fact. We instead make sufficiency structural: a per-query requir...