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