Exactly Computing the Local Lipschitz Constant of ReLU Networks - Jordan, Matt; Dimakis, Alexandros G (Advances in Neural Information Processing Systems, 2020)