news
| Jul 20, 2026 | Our paper Incremental Neural Network Verification via Learned Conflicts got accepted to FMCAD 2026! |
|---|---|
| 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. |