swMATH42700MaRDI QIDQ5974598FDOQ5974598
Author name not available (Why is that?)
Official website: https://arxiv.org/abs/1803.07519
Cited In (8)
- DiffRNN: differential verification of recurrent neural networks
- DeepMutation
- DeepXplore
- TensorFuzz
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability
- RecurJac
- DLFuzz
- Multi-label classification neural networks with hard logical constraints
This page was built for software: DeepGauge
