arXiv 量子物理· Wenxin Li, Wenchao Liu, Anzhe Jiang, Weihao Li, Chuan Wang, Qi Gao, Yin Ma, Hai Wei, Kai Wen·· 2 小时前AI 评分34
基于 Ising 求解器的神经网络鲁棒性精确验证框架
Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers
AI 导读
研究提出 Ising 兼容框架，用于有界输入扰动下的神经网络形式化鲁棒性验证。其 Log-PW 模型将每个神经元的二进制变量从 O(κ) 降至 O(⌈log₂κ⌉)，在 MNIST 上二进制决策自旋数减半；基于 Helly 的割可将速度提升至 13.41 倍，主问题查询减少 87.6%。
来源：arXiv 量子物理 · arxiv.org