Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
Primary LanguagePython