Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Primary LanguagePython
No issues in this repository yet.