Lookahead Branching for Neural Network Verification

Published in The 35th International Joint Conference on Artificial Intelligence (IJCAI'26), 2026