On the Scalability and Memory Efficiency of Semidefinite Programs for Lipschitz Constant Estimation of Neural Networks - Wang, Zi; Hu, Bin; Havens, Aaron; Araujo, Alexandre; Zheng, Yang; Chen, Yudong; Jha, Somesh (International Conference on Learning Representations, 2024)