Training for faster adversarial robustness verification via inducing Relu stability
We explore the concept of co-design in the context of neural network verification. Specifically, we aim to train deep neural networks that not only are robust to adversarial perturbations but also whose robustness can be verified more easily. To this end, we identify two properties of network models...
Principais autores: | , , , |
---|---|
Outros Autores: | |
Formato: | Artigo |
Idioma: | English |
Publicado em: |
ICLR
2021
|
Acesso em linha: | https://hdl.handle.net/1721.1/130110 |