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

arXiv:2603.00408v5 Announce Type: replace-cross Abstract: We present an Ising-compatible framework for formal neural-network robustness verification under bounded input perturbations. For piecewise activations (both continuous piecewise-linear and discrete pie