PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach

Open in new window