Annelot Bosman
Promovendus
- Naam
- A.W. Bosman
- Telefoon
- +31 71 527 4799
- a.w.bosman@liacs.leidenuniv.nl
- ORCID iD
- 0009-0004-1050-5165
Promovendus
- Wiskunde en Natuurwetenschappen
- Leiden Inst of Advanced Computer Science
- 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.
- 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.