Pages that link to "Item:Q2181945"
From MaRDI portal
The following pages link to Verifying binarized neural networks by Angluin-style learning (Q2181945):
Displaying 8 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)
- On the role of logical separability in knowledge compilation (Q6494362) (← links)
- Compositional automata learning of synchronous systems (Q6535219) (← links)
- \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)
- Efficient computation of shap explanation scores for neural network classifiers via knowledge compilation (Q6545518) (← links)
