Pages that link to "Item:Q6109575"
From MaRDI portal
The following pages link to DeepSafe: a data-driven approach for assessing robustness of neural networks (Q6109575):
Displaying 6 items.
- DiffRNN: differential verification of recurrent neural networks (Q832044) (← links)
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- An SMT-based approach for verifying binarized neural networks (Q2233508) (← links)
- A game-based approximate verification of deep neural networks with provable guarantees (Q2286751) (← links)
- Metrics and methods for robustness evaluation of neural networks with generative models (Q6053812) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← links)