Pages that link to "Item:Q2026298"
From MaRDI portal
The following pages link to A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298):
Displaying 9 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- On neural network equivalence checking using SMT solvers (Q2112128) (← links)
- Verifying autonomous systems (Q2165494) (← links)
- Reachability is NP-complete even for the simplest neural networks (Q2695495) (← links)
- Multi-Label Classification Neural Networks with Hard Logical Constraints (Q5026213) (← links)
- Principled deep neural network training through linear programming (Q6054389) (← links)
- Reachability in Simple Neural Networks (Q6070612) (← links)
- Generalizing universal adversarial perturbations for deep neural networks (Q6103573) (← links)
- Bridging formal methods and machine learning with model checking and global optimisation (Q6151625) (← links)
