Pages that link to "Item:Q2225075"
From MaRDI portal
The following pages link to An abstraction-based framework for neural network verification (Q2225075):
Displaying 15 items.
- Robustness verification of quantum classifiers (Q832160) (← links)
- \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)
- Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096) (← links)
- Property-directed verification and robustness certification of recurrent neural networks (Q2147216) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- An SMT-based approach for verifying binarized neural networks (Q2233508) (← links)
- Metrics and methods for robustness evaluation of neural networks with generative models (Q6053812) (← links)
- Reluplex: a calculus for reasoning about deep neural networks (Q6108442) (← links)
- Guaranteed approximation error estimation of neural networks and model modification (Q6488687) (← links)
- Towards global neural network abstractions with locally-exact reconstruction (Q6488831) (← 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 the generalization of deep learning to out-of-distribution domains (Q6611966) (← links)
