Pages that link to "Item:Q4969086"
From MaRDI portal
The following pages link to Branch and bound for piecewise linear neural network verification (Q4969086):
Displaying 15 items.
- \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)
- Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter (Q1982635) (← links)
- Improving neural network verification through spurious region guided refinement (Q2044215) (← links)
- Advances in verification of ReLU neural networks (Q2046329) (← links)
- Exploiting verified neural networks via floating point numerical error (Q2145326) (← links)
- Bisimulations for neural network reduction (Q2152656) (← links)
- Improved geometric path enumeration for verifying ReLU neural networks (Q2225077) (← links)
- Strong mixed-integer programming formulations for trained neural networks (Q5918909) (← links)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- Shared Certificates for Neural Network Verification (Q6487315) (← links)
- Example Guided Synthesis of Linear Approximations for Neural Network Verification (Q6487316) (← links)
- Probabilistic Verification of Neural Networks Against Group Fairness (Q6488462) (← links)
- A partition-based convergence framework for population-based optimization algorithms (Q6492619) (← links)
- Efficient neural network analysis with sum-of-infeasibilities (Q6535564) (← links)
