Pages that link to "Item:Q2181945"
From MaRDI portal
The following pages link to Verifying binarized neural networks by Angluin-style learning (Q2181945):
Displayed 5 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Learning finite state models from recurrent neural networks (Q2165516) (← links)
- On the (complete) reasons behind decisions (Q6117140) (← links)
- Quantitative Verification for Neural Networks using ProbStars (Q6202079) (← links)