Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks. - Madhav Vadlamani; Rahul Singh; Yuyao Kong; Zheng Zhang; Shimeng Yu (CoRR, 2026)