@misc{indiciae6056d69b0b21,
  title = {Knowing When the Evidence Is Enough: Requirement-Directed Search with Horn-Closure Certificates},
  author = {Xinyu Zhang and Weiwei Sun},
  year = {2026},
  url = {https://arxiv.org/abs/2610.34684},
  note = {Source identifier: 2610.34684}
}