Annelot W. Bosman

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

Collaborative distances:

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

2025

Robustness Distributions in Neural Network Verification.

Annelot W. Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn

J. Artif. Intell. Res., 2025

Robustness Margin: A New Measure for the Robustness of Neural Networks.

Lionel Kielhöfer, Annelot W. Bosman, Holger H. Hoos, Jan N. van Rijn

Proceedings of the AI Verification - Second International Symposium, 2025

Empirical Analysis of Upper Bounds for Robustness Distributions Using Adversarial Attacks.

Aaron Berger, Nils Eberhardt, Annelot W. Bosman, Henning Duwe, Holger H. Hoos, Jan N. van Rijn

Proceedings of the Learning and Intelligent Optimization - 19th International Conference, 2025

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