Follow
Annelot Bosman
Annelot Bosman
PhD candidate AutoML, Universiteit Leiden
Verified email at liacs.leidenuniv.nl
Title
Cited by
Cited by
Year
Critically Assessing the State of the Art in CPU-based Local Robustness Verification
M König, AW Bosman, HH Hoos, JN van Rijn
Proceedings of the Workshop on Artificial Intelligence Safety, 2023
32023
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
12024
A Preliminary Study of Critical Robustness Distributions in Neural Network Verification
AW Bosman, HH Hoos, JN van Rijn
1*
The system can't perform the operation now. Try again later.
Articles 1–3