EfficientExactVerificationofBinarizedNeural Networks

We argue that Binarized Neural Networks (BNNs) provide comparable robustness and allow exact and significantly more efficient verification. We present a new system, EEV,forefficient and exact verification ofBNNs.