Conference
Jul 2026
Lookahead Branching for Neural Network Verification
This work presents a general recipe to integrate lookahead into any branch-and-bound verifier and demonstrates how one of the current state-of-the-art branching heuristics, FSB, can be viewed as a special instantiation of the lookahead branching strategy.
Liam Davis, Duo Zhou, Huan Zhang et al.
· Proceedings of the Thirty-Fi... · 1 citation