DeepGauge

swMATH42700MaRDI QIDQ5974598FDOQ5974598

Author name not available (Why is that?)

Cited In (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