Tom Splittgerber

ExLipBaB: Exact Lipschitz Constant Computation for Piecewise Linear Neural Networks

It has been shown that a neural network's Lipschitz constant can be leveraged to derive robustness guarantees, to improve generalizability via regularization or even to construct invertible networks. Therefore, a number of methods varying in the tightness of their bounds and their computational cost