@misc{indiciae6858bd4d4a22,
  title = {NESA: Relational Neuro-Symbolic Static Program Analysis},
  author = {Chengpeng Wang and Yifei Gao and Wuqi Zhang and Xuwei Liu and Jinyao Guo and Mingwei Zheng and Qingkai Shi and Xiangyu Zhang},
  year = {2026},
  doi = {10.1145/3808161},
  url = {https://arxiv.org/abs/2412.14399},
  note = {Source identifier: 2412.14399}
}