The following pages link to AI2 (Q56247):
Displayed 9 items.
- DiffRNN: differential verification of recurrent neural networks (Q832044) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Advances in verification of ReLU neural networks (Q2046329) (← links)
- Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training (Q2051310) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Toward neural-network-guided program synthesis and verification (Q2145332) (← links)
- SyReNN: a tool for analyzing deep neural networks (Q2233513) (← links)