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

Open in new window