Annelot Bosman
Onderzoeker
- Naam
- A.W. Bosman
- Telefoon
- 071 5274799
- a.w.bosman@liacs.leidenuniv.nl
- ORCID iD
- 0009-0004-1050-5165
Onderzoeker
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- LIACS Research
Promovendus
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- LIACS Research
- Faculteit der Wiskunde en Natuurwetenschappen
- LIACS
- LIACS Research
- Kielhöfer L., Bosman A.W., Hoog H.H. & Rijn J.N. van (2026), Robustness margin: a new measure for the robustness of neural networks. Giacobbe M. & Lukina A. (red.), AI Verification: proceedings of the Second International Symposium, SAIV 2025. Second International Symposium, SAIV 2025 21 juli 2025 - 22 juli 2025. Lecture Notes in Computer Science nr. 15947. Cham: Springer Nature Switzerland. 29-48.
- Bosman A.W., Berger A., Hoos H.H. & Rijn J.N. van (2025), Robustness distributions in neural network verification, Journal of Artificial Intelligence Research 83: 20.
- Berg A., Eberhardt N., Bosman A.W., Duwe H., Rijn J.N. van & Hoos H.H. (2025), Empirical analysis of upper bounds of robustness distributions using adversarial attacks. THE 19TH LEARNING AND INTELLIGENT OPTIMIZATION CONFERENCE 15 juni 2025 - 19 juni 2025.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2024), Critically assessing the state of the art in neural network verification, Journal of Machine Learning Research 25(12): 1-35.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2024), Critically assessing the state of the art in neural network verification, Journal of Machine Learning Research 25(12): 1-53.
- Bosman A.W., Münz A.L., Hoos H.H. & Rijn J.N. van (2024), A preliminary study to examining per-class performance bias via robustness distributions. Avni G., Giacobbe M., Johnson T.T., Katz G., Lukina A., Narodytska N. & Schilling C. (red.), AI verification: SAIV 2024. First International Symposium, SAIV 2024 22 juli 2024 - 23 juli 2024. Lecture Notes in Computer Science nr. 14846. Cham: Springer. 116-133.
- König H.M.T., Bosman A.W., Hoos H.H. & Rijn J.N. van (2023), Critically assessing the state of the art in CPU-based local robustness verification. Pedroza G., Huang X., Chen X., Theodorou A., Hernandez-Orallo J., Castillo-Effen M., Mallah R. & McDermid J. (red.), Proceedings of the workshop on artificial intelligence safety 2023 (SafeAI 2023). SafeAI 2023: Workshop on Artificial Intelligence Safety 13 februari 2023 - 14 februari 2023. CEUR Workshop Proceedings nr. 3381: CEUR-WS.