Dynamic Algorithm Termination for Branch-and-Bound-based Neural Network Verification.

Konstantin Kaulen, Matthias Knig, Holger H. Hoos

Browse the full AAAI paper archive.