Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Enhancing robustness verification for deep neural networks via symbolic propagation |
scientific article; zbMATH DE number 7387999
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Enhancing robustness verification for deep neural networks via symbolic propagation |
scientific article; zbMATH DE number 7387999 |
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
