Lan J, Brückner B, Lomuscio A. A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. AAAI [Internet]. 2023 Jun. 26 [cited 2026 May 29];37(12):14946-54. Available from: https://ojs.aaai.org/index.php/AAAI/article/view/26745