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

March 2021
PDF
Type
Conference paper
Publication
In 33rd International Conference on Computer-Aided Verification
Computer Security
Guangke Chen
Guangke Chen
Postgraduate

Just Do It!

Related