CV
curriculum vitae
Contact Information
| Name | Liam Davis |
| ljdavis27@amherst.edu |
Education
-
2023 - 2027 Amherst, MA
Research Experience
-
2024 - Present Amherst, MA
Research Assistant
Amherst College
Advised by Prof. Haoze Wu. Neural network verification, automated reasoning.
-
2026 - 2026 New York, NY
Research Assistant
Columbia University
Advised by Prof. Mark Santolucito.
Industry Experience
-
2026 - Present Affiliated Researcher
Axiom
Unpaid affiliation. Financial support for cloud compute and API credits.
-
2026 - 2026 Sunnyvale, CA
Software Engineering Intern
LinkedIn
Publications
-
2026 Learning Lookahead Lemmas for Neural Network Verification
Under review at AAAI 2027
-
2026 -
2026 Lattice Deduction Transformers
Under review at NeurIPS 2026
-
2026 -
2026 Toward Minimal-Core Reuse for Incremental Neural Network Verification
FMCAD Student Forum 2026
-
2025 Lookahead Branching for Neural Network Verification (short version)
FMCAD Student Forum 2025
-
2025 Two Optimizations on the Stålmarck Procedure
FMCAD Student Forum 2025
-
2025 Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
arXiv:2501.08569