Dill, David L.

2 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

ICML 2017 Developing Bug-Free Machine Learning Systems with Formal Mathematics Daniel Selsam, Percy Liang, David L. Dill