Hacker News new | past | comments | ask | show | jobs | submit | from login

NeuroSAT: Learning a SAT Solver De Novo from Data (github.com/dselsam) 2 points by pkay on March 7, 2018 | past Certigrad: bug-free machine learning on stochastic computation graphs (github.com/dselsam) 99 points by kg9000 on July 10, 2017 | past | 52 comments

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: