Annelot Bosman
PhD candidate
- Name
- A.W. Bosman
- Telephone
- 071 5274799
- a.w.bosman@liacs.leidenuniv.nl
- ORCID iD
- 0009-0004-1050-5165
PhD candidate
- Faculty of Science
- Leiden Inst of Advanced Computer Science
Postdoc
- Faculty of Science
- 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. (Eds.), AI verification: SAIV 2024. First International Symposium, SAIV 2024 22 July 2024 - 23 July 2024. Lecture Notes in Computer Science no. 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. (Eds.), Proceedings of the workshop on artificial intelligence safety 2023 (SafeAI 2023). SafeAI 2023: Workshop on Artificial Intelligence Safety 13 February 2023 - 14 February 2023. CEUR Workshop Proceedings no. 3381: CEUR-WS.