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

Attila Szsz, Balzs Bnhelyi, Mrk Jelasity

Browse the full ICML paper archive.