Input Validation for Neural Networks via Runtime Local Robustness Verification

Jiangchao Liu, Liqian Chen, Antoine Mine +1

Local robustness verification can verify that a neural network is robust wrt. any perturbation to a specific input within a certain distance. We call this distance Robustness Radiu…