Robustness Verification of Binary Neural Networks: An Ising and Quantum-Inspired Framework

Rahul Singh, Seyran Saeedi, Zheng Zhang

Binary neural networks (BNNs) are increasingly deployed in edge computing applications due to their low hardware complexity and high energy efficiency. However, verifying the robus…