Annelot Bosman
Promovendus
- Naam
- A.W. Bosman
- Telefoon
- +31 71 527 4799
- a.w.bosman@liacs.leidenuniv.nl
Promovendus
- Wiskunde en Natuurwetenschappen
- 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. (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.