Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Intriguing properties of neural networks