Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing.

Chia-Hsuan Lu, Tony Tan, Michael Benedikt

Browse the full TACAS paper archive.