Institute of Informatics, University of Szeged, Hungary
Dániel Zombori, Balázs Bánhelyi, Tibor Csendes, István Megyeri, Márk Jelasity
adversarial examples;complete verifiers;numerical errors
Fooling a Complete Neural Network Verifier