A Single-sample Pruning and Clustering Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Long Zhu; Jie Wang 004; Weiqiang Kong (APSEC, 2023)

A Dual Relaxation Method for Neural Network Verification. - Huanzhang Xiong; Gang Hou; Yueyuan Qin; Jie Wang 004; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 2024)