TY  - RPRT
TI  - NESA: Relational Neuro-Symbolic Static Program Analysis
AU  - Chengpeng Wang
AU  - Yifei Gao
AU  - Wuqi Zhang
AU  - Xuwei Liu
AU  - Jinyao Guo
AU  - Mingwei Zheng
AU  - Qingkai Shi
AU  - Xiangyu Zhang
PY  - 2026
DO  - 10.1145/3808161
UR  - https://arxiv.org/abs/2412.14399
ID  - 2412.14399
ER  -