Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing

Open in new window