TY  - RPRT
TI  - EntailLLM: Verifying LLM-Generated Vulnerability Discovery Paths with Domain Knowledge via Logic Programming
AU  - Kaustuv Mukherji
AU  - Jaikrishna Manojkumar Patil
AU  - Colton Payne
AU  - Paulo Shakarian
AU  - Dana Warmsley
AU  - Nigel Stepp
AU  - Evelyn Kim
PY  - 2026
UR  - https://arxiv.org/abs/2608.01763
ID  - 2608.01763
ER  -