BDD4BNN: A BDD-based Quantitative Analysis Framework for Binarized Neural Networks

Yedi Zhang, Zhe Zhao, Guangke Chen +2

Verifying and explaining the behavior of neural networks is becoming increasingly important, especially when they are deployed in safety-critical applications. In this paper, we st…