Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enhancing robustness verification for deep neural networks via symbolic propagation |
scientific article |
Statements
Enhancing robustness verification for deep neural networks via symbolic propagation (English)
0 references
30 August 2021
0 references
deep neural network
0 references
verification
0 references
robustness
0 references
abstract interpretation
0 references
symbolic propagation
0 references
Lipschitz constant
0 references
