Liam Davis

According to our database¹, Liam Davis authored at least 4 papers between 2025 and 2026.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2026

Lattice Deduction Transformers.

[DOI]

CoRR, May, 2026

Incremental Neural Network Verification via Learned Conflicts.

[DOI]

CoRR, March, 2026

2025

Two Optimizations on the Stålmarck Procedure.

[DOI]

CoRR, September, 2025

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

[DOI]

CoRR, January, 2025