Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification

Yoshio Ebihara, Xin Dai, Victor Magron +2

This paper is concerned with the computation of the local Lipschitz constant of feedforward neural networks (FNNs) with activation functions being rectified linear units (ReLUs). T…