Lagrangian decomposition for neural network verification by Bunel, R, De Palma, A, Desmaison, A, Dvijotham, K Dj, Kohli, P, Torr, PHS, Kumar, MP