@inproceedings{davis2026lookahead,
 title={Lookahead Branching for Neural Network Verification},
 author={Davis, Liam and Zhou, Duo and Zhang, Huan and Katz, Guy and Barrett, Clark and Wu, Haoze},
 booktitle={International Joint Conference on Artificial Intelligence (IJCAI)},
 year={2026}
}