Lan, Jianglin, Yang Zheng, and Alessio Lomuscio. 2022. “Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (7):7272-80. https://doi.org/10.1609/aaai.v36i7.20689.