Towards Verifying the Geometric Robustness of Large-scale Neural Networks

Open in new window