Bánhelyi, Balázs

2 publications

ICML 2025 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

ICLR 2021 Fooling a Complete Neural Network Verifier Dániel Zombori, Balázs Bánhelyi, Tibor Csendes, István Megyeri, Márk Jelasity