TY  - RPRT
TI  - Knowing When the Evidence Is Enough: Requirement-Directed Search with Horn-Closure Certificates
AU  - Xinyu Zhang
AU  - Weiwei Sun
PY  - 2026
UR  - https://arxiv.org/abs/2610.34684
ID  - 2610.34684
ER  -