Annelot Bosman

2022202320241 1 6

Public access

3 articles

0 articles

available

not available

Based on funding mandates

Jan N. van RijnLeiden UniversityVerified email at liacs.leidenuniv.nl
Holger HoosRWTH Aachen University, Germany • Leiden University, Netherlands • University of British ColumbiaVerified email at cs.rwth-aachen.de
Matthias KönigLeiden University, RWTH Aachen University, University of OxfordVerified email at cs.ox.ac.uk

Annelot Bosman

PhD candidate AutoML, Universiteit Leiden

Verified email at liacs.leidenuniv.nl


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	3	2023
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	3	2023
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	2	2024
A Preliminary Study to Examining Per-Class Performance Bias via Robustness Distributions AW Bosman, AL Münz, HH Hoos, JN van Rijn

The system can't perform the operation now. Try again later.

Articles 1–4

Citations per year