publications

2026

1. IJCAI

   Lookahead Branching for Neural Network Verification

   Liam Davis, Duo Zhou, Huan Zhang, and 3 more authors

   In To Appear at the 35th International Joint Conference on Artificial Intelligence (IJCAI ’26), 2026

   Bib

   @inproceedings{davis2026lookahead,
     title = {Lookahead Branching for Neural Network Verification},
     author = {Davis, Liam and Zhou, Duo and Zhang, Huan and Katz, Guy and Barrett, Clark and Wu, Haoze},
     booktitle = {To Appear at the 35th International Joint Conference on Artificial Intelligence (IJCAI '26)},
     year = {2026},
   }

2. Lattice Deduction Transformers

   Liam Davis, Leopold Haller, Alberto Alfarano, and 1 more author

   . Under review at NeurIPS , 2026

   Bib

   @article{davis2026lattice,
     title = {Lattice Deduction Transformers},
     author = {Davis, Liam and Haller, Leopold and Alfarano, Alberto and Santolucito, Mark},
     year = {2026},
   }

3. Incremental Neural Network Verification via Learned Conflicts

   Reem Elsaleh, Liam Davis, Haoze Wu, and 1 more author

   arXiv preprint arXiv:2603.12232. Under review at FMCAD , 2026

   arXiv Bib

   @article{elsaleh2026incremental,
     title = {Incremental Neural Network Verification via Learned Conflicts},
     author = {Elsaleh, Reem and Davis, Liam and Wu, Haoze and Katz, Guy},
     journal = {arXiv preprint arXiv:2603.12232},
     year = {2026},
   }

2025

1. FMCAD

   Lookahead Branching for Neural Network Verification

   Liam Davis and Duo Zhou

   In FMCAD Student Forum. Short version of the IJCAI ’26 paper , 2025

   Bib

   @inproceedings{davis2025lookahead_short,
     title = {Lookahead Branching for Neural Network Verification},
     author = {Davis, Liam and Zhou, Duo},
     booktitle = {FMCAD Student Forum},
     year = {2025},
   }

2. FMCAD

   Two Optimizations on the Stålmarck Procedure

   Sergei Leonov and Liam Davis

   In FMCAD Student Forum, 2025

   arXiv Bib

   @inproceedings{leonov2025stalmarck,
     title = {Two Optimizations on the Stålmarck Procedure},
     author = {Leonov, Sergei and Davis, Liam},
     booktitle = {FMCAD Student Forum},
     year = {2025},
   }

3. Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles

   Liam Davis and Tairan Ji

   arXiv preprint arXiv:2501.08569, 2025

   arXiv Bib

   @article{davis2025sudoku,
     title = {Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles},
     author = {Davis, Liam and Ji, Tairan},
     journal = {arXiv preprint arXiv:2501.08569},
     year = {2025},
   }