Bosman, Annelot W.

2 publications

JAIR 2025 Robustness Distributions in Neural Network Verification Annelot W. Bosman, Aaron Berger, Holger H. Hoos, Jan N. van Rijn

JMLR 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