Lookahead Branching for Neural Network Verification

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