7 citations · 15 across the 4 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022★ 7 cited
A Tool for Neural Network Global Robustness Certification and Training
Zhilu Wang, Yixuan Wang, Feisi Fu +4
With the increment of interest in leveraging machine learning technology in safety-critical systems, the robustness of neural networks under external disturbance receives more and…
cs.LG2021★ 7 cited
Sound and Complete Neural Network Repair with Minimality and Locality Guarantees
Feisi Fu, Wenchao Li
We present a novel methodology for repairing neural networks that use ReLU activation functions. Unlike existing methods that rely on modifying the weights of a neural network whic…