publications

2026

1. Learning Lookahead Lemmas for Neural Network Verification

   Liam Davis and Haoze Wu

   . Under review at AAAI , 2026

   arXiv Bib

   @article{davis2026lookaheadlemmas,
     title = {Learning Lookahead Lemmas for Neural Network Verification},
     author = {Davis, Liam and Wu, Haoze},
     year = {2026},
   }

2. IJCAI

   Lookahead Branching for Neural Network Verification

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

   In IJCAI, 2026

   arXiv 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 = {IJCAI},
     year = {2026},
   }

3. Lattice Deduction Transformers

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

   . Under review at NeurIPS , 2026

   arXiv Bib

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

4. FMCAD

   Incremental Neural Network Verification via Learned Conflicts

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

   In FMCAD, 2026

   arXiv Bib

   @inproceedings{elsaleh2026incremental,
     title = {Incremental Neural Network Verification via Learned Conflicts},
     author = {Elsaleh, Raya and Davis, Liam and Wu, Haoze and Katz, Guy},
     booktitle = {FMCAD},
     year = {2026},
   }

5. FMCAD

   Toward Minimal-Core Reuse for Incremental Neural Network Verification

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

   In FMCAD Student Forum, 2026

   Bib

   @inproceedings{elsaleh2026reuse,
     title = {Toward Minimal-Core Reuse for Incremental Neural Network Verification},
     author = {Elsaleh, Raya and Davis, Liam and Wu, Haoze and Katz, Guy},
     booktitle = {FMCAD Student Forum},
     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},
   }