Sound and Complete Neural Network Repair with Minimality and Locality Guarantees. - Feisi Fu; Wenchao Li 001 (ICLR, 2022)

A Tool for Neural Network Global Robustness Certification and Training. - Zhilu Wang; Yixuan Wang 001; Feisi Fu; Ruochen Jiao; Chao Huang 015; Wenchao Li 001; Qi Zhu 002 (CoRR, 2022)

Verification and Design of Robust and Safe Neural Network-enabled Autonomous Systems. - Qi Zhu 002; Wenchao Li 001; Chao Huang 015; Xin Chen 002; Weichao Zhou; Yixuan Wang 001; Jiajun Li; Feisi Fu (Allerton, 2023)

Dormant Neural Trojans. - Feisi Fu; Panagiota Kiourti; Wenchao Li 001 (ICMLA, 2023)

OVLA: Neural Network Ownership Verification using Latent Watermarks. - Feisi Fu; Wenchao Li 001 (CoRR, 2023)

REGLO: Provable Neural Network Repair for Global Robustness Properties. - Feisi Fu; Zhilu Wang; Weichao Zhou; Yixuan Wang 001; Jiameng Fan; Chao Huang 015; Qi Zhu 002; Xin Chen 002; Wenchao Li 001 (AAAI, 2024)