@misc{indiciae39e02746e6a0,
  title = {EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming},
  author = {Kaustuv Mukherji and Jaikrishna Manojkumar Patil and Colton Payne and Paulo Shakarian and Dana Warmsley and Nigel Stepp and Evelyn Kim},
  year = {2026},
  url = {https://arxiv.org/abs/2608.01763},
  note = {Source identifier: 2608.01763}
}