Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers

Wenxin Li, Wenchao Liu, Weihao Li +5

We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations. For piecewise-linear activations, the Exact Logarithmi…