MIQCQP reformulation of the ReLU neural networks Lipschitz constant estimation problem

Re-assign community