A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification.

Jianglin Lan, Benedikt Brckner, Alessio Lomuscio

Browse the full AAAI paper archive.