TY  - RPRT
TI  - Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing
AU  - Chia-Hsuan Lu
AU  - Tony Tan
AU  - Michael Benedikt
PY  - 2026
UR  - https://arxiv.org/abs/2510.18591
ID  - 2510.18591
ER  -