Improved Branch and Bound for Neural Network Verification via Lagrangian Decomposition

Open in new window