@misc{indiciae85ee37ae292b,
  title = {Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers},
  author = {Wenxin Li and Wenchao Liu and Weihao Li and Chuan Wang and Qi Gao and Yin Ma and Hai Wei and Kai Wen},
  year = {2026},
  url = {https://arxiv.org/abs/2603.00408},
  note = {Source identifier: 2603.00408}
}