No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks

Attila Szász, Balázs Bánhelyi, Márk Jelasity

The ultimate goal of verification is to guarantee the safety of deployed neural networks. Here, we claim that all the state-of-the-art verifiers we are aware of fail to reach this…