Boosting Few-Pixel Robustness Verification via Covering Verification Designs

Yuval Shapira, Naor Wiesel, Shahar Shabelman +1

Proving local robustness is crucial to increase the reliability of neural networks. While many verifiers prove robustness in $L_{\infty }$ $\hat{I}\mu$-balls, very little work deals with robu…