TY  - RPRT
TI  - NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
AU  - Sanjay Rawat
PY  - 2026
UR  - https://arxiv.org/abs/2606.00669
ID  - 2606.00669
ER  -