Automated Verification of Neural Networks: Advances, Challenges and Perspectives
Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility Study