Duo Zhou

University of Illinois Urbana-Champaign

1 paper in the IJCAI proceedings

IJCAI 2026

Lookahead Branching for Neural Network Verification

with Liam Davis, Huan Zhang, Guy Katz, Clark Barrett, Haoze Wu

doi:10.24963/ijcai.2026/59

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings