Some Complexity Results for Robustness Verification for Binarized Neural Networks

Harshit Goyal, Sudakshina Dutta

This paper investigates the computational complexity of verification problems for Binarized Neural Networks (BNNs), in which activations and weights are binary. Specifically, we st…