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

Neural Information Processing Systems 

Say, Buser and Sanner, Scott. Below, please find my recommendations for your paper.