{"id":"arxiv/2603.00408","url":"https://arxiv.org/abs/2603.00408","tags":["cs.LG","cs.AI","physics.optics","quant-ph"],"score":0,"title":"Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers","domain":"cs.LG","source":"arxiv","authors":["Wenxin Li","Wenchao Liu","Anzhe Jiang","Weihao Li","Chuan Wang","Qi Gao","Yin Ma","Hai Wei","Kai Wen"],"reviews":0,"subject":"cs.LG","summary":"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 piecewise-constant), the Exact Logarithmic Piecewise Model (Log-PW) provides an exact, sound, and complete formulation with a state-optimal logarithmic encoding, reducing the binary variables per neuron from linear $O(κ)$ to information-theoretically minimal logarithmic complexity $O(\\lceil \\log_2 κ\\rceil)$ via logarithmic SOS2 (Log-PWL) and SOS1 (Log-PWC) constraints. For general element-wise…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-02-28","reactions":{}}