Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks

Madhav Vadlamani, Rahul Singh, Yuyao Kong +2

Verification of binary neural network (BNN) robustness is NP-hard, as it can be formulated as a combinatorial search for an adversarial perturbation that induces misclassification.…