The following pages link to RecurJac (Q1351437):
Displaying 3 items.
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- Advances in verification of ReLU neural networks (Q2046329) (← links)
- Verifying binarized neural networks by Angluin-style learning (Q2181945) (← links)
