A Convex Relaxation Barrier to Tight Robustness Verification of Neural Networks

Open in new window