TY  - RPRT
TI  - Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers
AU  - Wenxin Li
AU  - Wenchao Liu
AU  - Weihao Li
AU  - Chuan Wang
AU  - Qi Gao
AU  - Yin Ma
AU  - Hai Wei
AU  - Kai Wen
PY  - 2026
UR  - https://arxiv.org/abs/2603.00408
ID  - 2603.00408
ER  -