TY  - RPRT
TI  - Neuro-Symbolic Reasoning for Vulnerability Detection
AU  - Yanjie Zhao
AU  - Hongjie Chen
AU  - Li Lu
AU  - Zhou Yang
AU  - Xiao Cheng
AU  - Haoyu Wang
PY  - 2026
UR  - https://arxiv.org/abs/2607.03963
ID  - 2607.03963
ER  -