Pages that link to "Item:Q2044215"
From MaRDI portal
The following pages link to Improving neural network verification through spurious region guided refinement (Q2044215):
Displaying 3 items.
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Improving neural network verification through spurious region guided refinement (Q2044215) (← links)
- \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)
