Daniel Selsam

Results 3 repositories owned by Daniel Selsam

certigrad

385
Stars
34
Forks
Watchers

Bug-free machine learning on stochastic computation graphs

verified publisher icon dselsam

neurocore-public

37
Stars
8
Forks
Watchers

NeuroCore: Guiding CDCL with Unsat-Core Predictions

verified publisher icon dselsam

neurosat

261
Stars
56
Forks
Watchers

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

verified publisher icon dselsam