@misc{indiciae55341e703a3e,
  title = {Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing},
  author = {Chia-Hsuan Lu and Tony Tan and Michael Benedikt},
  year = {2026},
  url = {https://arxiv.org/abs/2510.18591},
  note = {Source identifier: 2510.18591}
}