SOURCE-LINKED INTELLIGENCE

Exploring Solver-Level Warmstarting for Neural Network Verification

arXiv · AI, language, vision and robotics · article · Sep 22, 2026 · UTC

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 application of solver-level warmstarting for neural network verification to exploit information from previous solutions. We study the effect on running time as several properties are modified, including perturbation radii, input data and the networks themselves, using a pipeline that i

Read original source ↗ Open in workspace

recordType

paper

region

Global