Lan, J.; Zheng, Y.; Lomuscio, A. Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. AAAI 2023, 37, 14937-14945.