Yiting Wu

Tightening Robustness Verification of Convolutional Neural Networks with Fine-Grained Linear Approximation

The robustness of neural networks can be quantitatively indicated by a lower bound within which any perturbation does not alter the original input’s classification result. A certified lower bound is also a criterion to evaluate the performance of robustness verification approaches. In this paper, we…