RecurJac

swMATH43067MaRDI QIDQ1351437FDOQ1351437

Author name not available (Why is that?)

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

Source code repository: https://github.com/huanzhang12/RecurJac-and-CROWN

Cited In (5)

• DeepMutation
• 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
• Verifying binarized neural networks by Angluin-style learning
• Riss

This page was built for software: RecurJac