ML Anthology

Lamm, Matthew

1 publications

ICLR 2019 Learning a SAT Solver from Single-Bit Supervision Daniel Selsam, Matthew Lamm, Benedikt B\"{u}nz, Percy Liang, Leonardo de Moura, David L. Dill