Pages that link to "Item:Q2233508"
From MaRDI portal
The following pages link to An SMT-based approach for verifying binarized neural networks (Q2233508):
Displaying 8 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)
- Task-Aware Verifiable RNN-Based Policies for Partially Observable Markov Decision Processes (Q5026215) (← links)
- Towards formal XAI: formally approximate minimal explanations of neural networks (Q6535352) (← links)
- \textsc{OccRob}: efficient SMT-based occlusion robustness verification of deep neural networks (Q6535354) (← links)
- \textsf{QEBVerif}: quantization error bound verification of neural networks (Q6535546) (← links)
- Verifying generalization in deep learning (Q6535549) (← links)
- Verifying the generalization of deep learning to out-of-distribution domains (Q6611966) (← links)
