Computing exact Lipschitz constant of ReLU networks
A branch and bound framework to compute the local Lipschitz constant of ReLU feed-forward networks for any p-norm within any approximation factor.
- Python 3.x, NumPy, CVXOPT with GLPK Linear Programming solver