Selsam, Daniel

3 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

NeurIPS 2016 Data Programming: Creating Large Training Sets, Quickly Alexander J Ratner, Christopher M De Sa, Sen Wu, Daniel Selsam, Christopher Ré