Publications

Liam Davis (2025). Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles.
PDF Code Package
Liam Davis (2025). RBlocks: Block Programming IDE for R.
Code URL
Liam Davis (2024). Lookahead Branching for Neural Network Verification. FMCAD Student Forum 2025, Under Review at ICLR 2026.
Code
Liam Davis (2024). Two Strategies to Improve the Stålmarck Procedure. FMCAD Student Forum 2025.