DeepGauge

MaRDI QIDQ5974598swMATHFDO

Official website https://arxiv.org/abs/1803.07519

Cited in

(8)

• RecurJac
• DeepXplore
• TensorFuzz
• DLFuzz
• 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
• DeepMutation
• DiffRNN: differential verification of recurrent neural networks

This page was built for software: DeepGauge