Pages that link to "Item:Q6109579"
From MaRDI portal
The following pages link to Formal specification for deep neural networks (Q6109579):
Displaying 11 items.
- Robustness verification of semantic segmentation neural networks using relaxed reachability (Q832180) (← links)
- A survey of safety and trustworthiness of deep neural networks: verification, testing, adversarial attack and defence, and interpretability (Q2026298) (← links)
- On satisficing in quantitative games (Q2044188) (← links)
- Compositional falsification of cyber-physical systems with machine learning components (Q2331078) (← links)
- Editorial (Q5918374) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← links)
- Towards a unifying logical framework for neural networks (Q6164487) (← links)
- SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks (Q6487301) (← links)
- Verifying generalization in deep learning (Q6535549) (← links)
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group (Q6577680) (← links)
- Verifying the generalization of deep learning to out-of-distribution domains (Q6611966) (← links)
