DeepGauge
From MaRDI portal
Software:5974598
No author found.
Related Items (3)
DiffRNN: differential verification of recurrent neural networks ⋮ A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability ⋮ Multi-Label Classification Neural Networks with Hard Logical Constraints
This page was built for software: DeepGauge
