Exactly Computing the Local Lipschitz Constant of ReLU networks

Neural Information Processing Systems 

We are interested in computing the Lipschitz constant of neural networks with ReLU activations.