TY  - RPRT
TI  - Scalable Digital Compute-in-Memory Ising Machines for Robustness Verification of Binary Neural Networks
AU  - Madhav Vadlamani
AU  - Rahul Singh
AU  - Yuyao Kong
AU  - Zheng Zhang
AU  - Shimeng Yu
PY  - 2026
UR  - https://arxiv.org/abs/2603.05677
ID  - 2603.05677
ER  -