Sound and Complete Neural Network Repair with Minimality and Locality Guarantees PDF
Feisi Fu, Wenchao Li
Accepted as a poster at International Conference on Learning Representations (ICLR), 2022.
REGLO: Provable Neural Network Repair for Global Robustness Properties PDF
Feisi Fu, Zhilu Wang, Jiameng Fan, Yixuan Wang, Chao Huang, Qi Zhu, Xin Chen, Wenchao Li
Accepted at AAAI Conference on Artificial Intelligence (AAAI), 2024.
Dormant Neural Trojans PDF
Feisi Fu, Panagiota Kiourti, Wenchao Li
Accepted as a long paper at International Conference on Machine Learning and Applications (IEEE ICMLA), 2023.
A Tool for Neural Network Global Robustness Certification and Training PDF
Zhilu Wang, Yixuan Wang, Feisi Fu, Ruochen Jiao, Chao Huang, Wenchao Li, Qi Zhu