On Integer Programming for the Binarized Neural Network Verification Problem

Woojin Kim, James R. Luedtke

Binarized neural networks (BNNs) are feedforward neural networks with binary weights and activation functions. In the context of using a BNN for classification, the verification pr…