Szász, Attila

1 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