Lookahead Branching for Neural Network Verification

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