Random Parameter Noise Does Not Make Exact ReLU Verification Easy

Mojtaba Soltanalian

We study exact verification of ReLU networks in an adversarial smoothed model. Every network weight and bias is independently perturbed by Gaussian noise, clipped to $[-2,2]$, and…