RecurJac
From MaRDI portal
Software:1351437
No author found.
Source code repository: https://github.com/huanzhang12/RecurJac-and-CROWN
Related Items (3)
Verifying binarized neural networks by Angluin-style learning ⋮ 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
This page was built for software: RecurJac
