Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing

Explore RobLight, a novel lightweight framework that accelerates Graph Neural Network robustness verification using polynomial-time partial solvers and advan...

Level: advanced

By Chia-Hsuan Lu, Tony Tan, Michael Benedikt

Category: research