Provable Robustness of ReLU networks via Maximization of Linear Regions

Open in new window