Lookahead Branching for Neural Network Verification
We present a general lookahead branching method for branch-and-bound in neural network verification, and demonstrate that spending more time at key points in branch-and-bound evaluating branching decisions leads to more efficient verification.
Dec 1, 2024
