Automated Verification of Neural Networks: Advances, Challenges and Perspectives
BinaryConnect: Training Deep Neural Networks with binary weights during propagations