Annelot W. Bosman

According to our database, Annelot W. Bosman authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Critically Assessing the State of the Art in Neural Network Verification.

Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

J. Mach. Learn. Res., 2024

A Preliminary Study to Examining Per-class Performance Bias via Robustness Distributions.

Annelot W. Bosman, Anna L. Münz, Holger H. Hoos, Jan N. van Rijn

Proceedings of the AI Verification - First International Symposium, 2024

2023

Critically Assessing the State of the Art in CPU-based Local Robustness Verification.

Matthias König, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023