Training verified learners with learned verifiers
AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation