AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation
Exploring the space of adversarial images