Certifying Robustness of Convolutional Neural Networks with Tight Linear Approximation

Open in new window