J. Lan, Y. Zheng, and A. Lomuscio, “Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification”, AAAI, vol. 37, no. 12, pp. 14937-14945, Jun. 2023.