TY  - RPRT
TI  - A Neuro-Symbolic Reasoning Engine for Compilation-Free Patch Presence Testing
AU  - Siyuan Li
AU  - Jiayi Zhou
AU  - Zhiyuan Xia
AU  - Weijie Wang
AU  - Yaowen Zheng
AU  - Weiran Tang
AU  - Hong Li
AU  - Hongsong Zhu
AU  - Shanqing Guo
PY  - 2026
UR  - https://arxiv.org/abs/2610.27871
ID  - 2610.27871
ER  -