Publications

• Sound and Complete Neural Network Repair with Minimality and Locality Guarantees [PDF]
  Feisi Fu, Wenchao Li
  Accept as a poster paper 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
  Accept as a long paper at International Conference on Machine Learning and Applications (IEEE ICMLA), 2023.
• OVLA: Neural Network Ownership Verification using Latent Watermarks [PDF]
  Feisi Fu, Wenchao Li
• 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