Annelot Bosman
PhD candidate
- Name
- A.W. Bosman
- Telephone
- +31 71 527 4799
- a.w.bosman@liacs.leidenuniv.nl
PhD candidate
- Science
- Leiden Inst of Advanced Computer Science
- 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 (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.