Lan, J.; Brückner, B.; Lomuscio, A. A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI 2023, 37, 14946-14954.