AI2

swMATH40547MaRDI QIDQ56247FDOQ56247

Author name not available (Why is that?)

Cited In (9)

• Reachable sets of classifiers and regression models: (non-)robustness analysis and robust training
• Toward neural-network-guided program synthesis and verification
• DiffRNN: differential verification of recurrent neural networks
• Verisig 2.0: verification of neural network controllers using Taylor model preconditioning
• 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
• Exploiting verified neural networks via floating point numerical error
• Static analysis of ReLU neural networks with tropical polyhedra

This page was built for software: AI2