The following pages link to (Q4969086):
Displaying 8 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)
- 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)
- Global optimization of objective functions represented by ReLU networks (Q6053800) (← links)
- A partition-based convergence framework for population-based optimization algorithms (Q6492619) (← links)
- Efficient neural network analysis with sum-of-infeasibilities (Q6535564) (← links)
