Critically Assessing the State of the Art in Neural Network Verification M König, AW Bosman, HH Hoos, JN van Rijn Journal of Machine Learning Research 25 (12), 1-53, 2024 | 7 | 2024 |
A preliminary study of critical robustness distributions in neural network verification AW Bosman, HH Hoos, JN van Rijn Proceedings of the 6th workshop on formal methods for ML-enabled autonomous …, 2023 | 4 | 2023 |
Critically Assessing the State of the Art in CPU-based Local Robustness Verification. M König, A Bosman, HH Hoos, JN van Rijn SafeAI@ AAAI, 2023 | 3 | 2023 |
D7. 7 AutoAI Benchmarks v. 3 Report A Bosman, H Hoos, J Vanschoren, JN van Rijn, M Barachi, D Kocev | | |
A Preliminary Study to Examining Per-Class Performance Bias via Robustness Distributions AW Bosman, AL Münz, HH Hoos, JN van Rijn | | |