Lan, Jianglin, Benedikt Brückner, and Alessio Lomuscio. “A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification”. Proceedings of the AAAI Conference on Artificial Intelligence 37, no. 12 (June 26, 2023): 14946–14954. Accessed May 29, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/26745.