[1]
J. Lan, Y. Zheng, and A. Lomuscio, “Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations”, AAAI, vol. 36, no. 7, pp. 7272-7280, Jun. 2022.