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

Yedi Zhang, Zhe Zhao, Guangke Chen, Fu Song, Taolue Chen

Browse the full CAV paper archive.