Exploring Solver-Level Warmstarting for Neural Network Verification
Neural network verification has become a key tool for providing formal guarantees on the behaviour of neural networks. However, many verification problems remain computationally intractable in the worst case: even for common adversarial robustness specifications, verification is NP-complete. Here, we explore the applic...
Annelot W. Bosman, Ming-Hao Liu, Marta Z. Kwiatkowska et al.
· 0 citations