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