Lookahead Branching for Neural Network Verification
Liam Davis; Duo Zhou; Huan Zhang; Guy Katz; Clark Barrett; Haoze Wu
- Published
- Publisher
- International Joint Conferences on Artificial Intelligence Organization
- Journal / collection
- Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence
- Research area
- AI & compute
- Source type
- Conference paper
- DOI
- 10.24963/ijcai.2026/59
The original publisher provides the full text and its access options.
Cite this source
Liam Davis; Duo Zhou; Huan Zhang; Guy Katz; Clark Barrett; Haoze Wu. Lookahead Branching for Neural Network Verification. Proceedings of the Thirty-Fifth International Joint Conference on Artificial Intelligence. 2026-09. https://doi.org/10.24963/ijcai.2026/59