Review for NeurIPS paper: Efficient Exact Verification of Binarized Neural Networks

Open in new window