@misc{indiciae671716de84ff,
  title = {A Neuro-Symbolic Reasoning Engine for Compilation-Free Patch Presence Testing},
  author = {Siyuan Li and Jiayi Zhou and Zhiyuan Xia and Weijie Wang and Yaowen Zheng and Weiran Tang and Hong Li and Hongsong Zhu and Shanqing Guo},
  year = {2026},
  url = {https://arxiv.org/abs/2610.27871},
  note = {Source identifier: 2610.27871}
}