| Oct 17, 2026 | We have a new preprint Did the LLM Answer the Question? A Semantic Reconstruction Game for Jailbreak Evaluation, co-authored with Romain Emil-Popescu and Suman Jana. |
| Sep 24, 2026 | Our paper Lattice Deduction Transformers got accepted to NeurIPS 2026! I will be travelling to NeurIPS this December to present the paper. |
| 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. |