Lan, Jianglin, Yang Zheng, and Alessio Lomuscio. “Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 12 (June 26, 2023): 14937-14945. Accessed December 5, 2023. https://ojs.aaai.org/index.php/AAAI/article/view/26744.