Announcement_1
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.
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.