Szász Attila; Bánhelyi Balázs; Jelasity Márk:
No Soundness in the Real World: On the Challenges of the Verification of Deployed Neural Networks.
In: The 42nd International Conference on Machine Learning (ICML 2025), 2025.07.13-2025.07.19, Vancouver.
pp. 58088-58105.
Szász Attila; Bánhelyi Balázs:
Effective inclusion methods for verification of ReLU neural networks.
ANNALES MATHEMATICAE ET INFORMATICAE, 60.
pp. 141-150.
ISSN 1787-5021
(2024)