A Validation Approach for the Lipschitz Constant for Neural Networks. - Zhiwei Zuo; Qianqian Cai; Jungang Ji; Zhongan Tang (HPCC/DSS/SmartCity/DependSys, 2022)