CV
curriculum vitae
Contact Information
| Name | Liam Davis |
| Professional Title | Undergraduate Researcher |
| ljdavis27@amherst.edu |
Professional Summary
Undergraduate researcher at Amherst College working on AI safety and neurosymbolic AI.
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; cloud compute support.
-
2026 - 2026 Sunnyvale, CA
Software Engineering Intern
LinkedIn
Publications
-
2026 Lookahead Branching for Neural Network Verification
To Appear at the 35th International Joint Conference on Artificial Intelligence (IJCAI '26)
-
2026 Lattice Deduction Transformers
Under review at NeurIPS 2026
-
2026 Incremental Neural Network Verification via Learned Conflicts
Under Review at FMCAD 2026
-
2025 Lookahead Branching for Neural Network Verification (short version)
FMCAD Student Forum
-
2025 Two Optimizations on the Stålmarck Procedure
FMCAD Student Forum
-
2025 Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
arXiv:2501.08569