Hierarchical Verification for Adversarial Robustness

Cong Han Lim, Raquel Urtasun, Ersin Yumer

We introduce a new framework for the exact point-wise ${\ell }_p$ robustness verification problem that exploits the layer-wise geometric structure of deep feed-forward networks with r…