Lookahead Branching for Neural Network Verification

Published in To Appear at the 35th International Joint Conference on Artificial Intelligence (IJCAI'26), 2026