55 citations · 151 across the 24 of their papers we have counts for
1 paper · 1 filter
Liam Davis, Duo Zhou, Huan Zhang +3
In this work, we investigate the effect of lookahead branching strategies in neural network verification. We present a general recipe to integrate lookahead into any branch-and-bou…