AI2
From MaRDI portal
Software:56247
No author found.
Related Items (9)
DiffRNN: differential verification of recurrent neural networks ⋮ Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ Static analysis of ReLU neural networks with tropical polyhedra ⋮ Exploiting verified neural networks via floating point numerical error ⋮ Toward neural-network-guided program synthesis and verification ⋮ SyReNN: a tool for analyzing deep neural networks ⋮ A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability ⋮ Advances in verification of ReLU neural networks ⋮ Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
This page was built for software: AI2
