Boosting Few-Pixel Robustness Verification via Covering Verification Designs
Y Shapira, N Wiesel, S Shabelman… - arXiv preprint arXiv …, 2024 - arxiv.org
Proving local robustness is crucial to increase the reliability of neural networks. While many
verifiers prove robustness in $ L_\infty $$\epsilon $-balls, very little work deals with …
verifiers prove robustness in $ L_\infty $$\epsilon $-balls, very little work deals with …