Author

Xin-Yu Zhang

h-index 4 View on Semantic Scholar

We have 1 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

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.

Xin-Yu Zhang, Wei-Wei Sun · 0 citations