papers
Publications (6)
cs.AI2019
Learning a SAT Solver from Single-Bit Supervision
Daniel Selsam, Matthew Lamm, Benedikt Bünz +3
stat.ML2017
Data Programming: Creating Large Training Sets, Quickly
Alexander Ratner, Christopher De Sa, Sen Wu +2
cs.SE2017
Developing Bug-Free Machine Learning Systems With Formal Mathematics
Daniel Selsam, Percy Liang, David L. Dill
cs.NE2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions
Daniel Selsam, Nikolaj Bjørner
cs.LO2017
Congruence Closure in Intensional Type Theory
Daniel Selsam, Leonardo de Moura
cs.AI2014
Venture: a higher-order probabilistic programming platform with programmable inference
Vikash Mansinghka, Daniel Selsam, Yura Perov