Certifying Geometric Robustness of Neural Networks - View it on GitHub