Accurate Computation and Verification of Local Lipschitz Constant for ReLU-based Feedforward Neural Networks

This paper proposes a method to accurately compute the local Lipschitz constant of feedforward neural networks with ReLU activation functions, and derives a condition to verify the exactness of the computed upper bound.