Review for NeurIPS paper: Lipschitz Bounds and Provably Robust Training by Laplacian Smoothing