news

Apr 15, 2026 Our paper Lookahead Branching for Neural Network Verification got accepted to IJCAI ‘26! I will be going to Bremen, Germany this August to present the work.