ML Anthology

Kaulen, Konstantin

1 publications

AAAI 2025 Dynamic Algorithm Termination for Branch-and-Bound-Based Neural Network Verification Konstantin Kaulen, Matthias König, Holger H. Hoos