MIQCQP reformulation of the ReLU neural networks Lipschitz constant estimation problem

Mohammed Sbihi, Sophie Jan, Nicolas Couellan

It is well established that to ensure or certify the robustness of a neural network, its Lipschitz constant plays a prominent role. However, its calculation is NP-hard. In this not…