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. Under Review at NeurIPS 2025.
Code
Liam Davis (2024). Two Strategies to Improve the Stålmarck Procedure. Under Review at FMCAD 2025 Student Forum.