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

Wenxin Li, Wenchao Liu, Anzhe Jiang, Weihao Li, Chuan Wang, Qi Gao, Yin Ma, Hai Wei, Kai Wen

arXivarxiv/2603.00408Feb 28, 2026cs.LGscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2603.00408
curl -X POST /api/v1/records/arxiv/2603.00408/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2603.00408/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'