Random Parameter Noise Does Not Make Exact ReLU Verification Easy

Mojtaba Soltanalian

The paper proves that exact verification of ReLU neural networks remains computationally hard even when all weights and biases are independently perturbed by Gaussian noise and rou…