Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Adversarial Examples Are Not Easily Detected: Bypassing Ten Detection Methods