Lan, J.; Zheng, Y.; Lomuscio, A. Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. AAAI 2022, 36, 7272-7280.