Wei-Wei Sun

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

Certify makes sufficiency structural: a per-query requirement hypergraph states which facts jointly yield another fact, which raises two challenges: deriving requirements from the question alone and linking each requirement to passages about the right entity.