Review for NeurIPS paper: Exactly Computing the Local Lipschitz Constant of ReLU Networks