Pages that link to "Item:Q2225075"
From MaRDI portal
The following pages link to An abstraction-based framework for neural network verification (Q2225075):
Displaying 22 items.
- Robustness verification of quantum classifiers (Q832160) (← links)
- \textsf{BDD4BNN}: a BDD-based quantitative analysis framework for binarized neural networks (Q832164) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- Improving neural network verification through spurious region guided refinement (Q2044215) (← links)
- Enhancing robustness verification for deep neural networks via symbolic propagation (Q2050096) (← links)
- On neural network equivalence checking using SMT solvers (Q2112128) (← 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)
- A game-based approximate verification of deep neural networks with provable guarantees (Q2286751) (← links)
- Challenging SMT solvers to verify neural networks (Q3164970) (← 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)
- Generating probabilistic safety guarantees for neural network controllers (Q6134350) (← links)
- Example Guided Synthesis of Linear Approximations for Neural Network Verification (Q6487316) (← links)
- Probabilistic Verification of Neural Networks Against Group Fairness (Q6488462) (← 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)
