Hacker News new | past | comments | ask | show | jobs | submit | kg9000's submissions login

1. NeuroSAT: Learning a SAT Solver from Single-Bit Supervision (arxiv.org) 76 points by kg9000 on Feb 13, 2018 | past | 10 comments 2. Certigrad: bug-free machine learning on stochastic computation graphs (github.com/dselsam) 99 points by kg9000 on July 10, 2017 | past | 52 comments

Consider applying for YC's W25 batch! Applications are open till Nov 12. Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact Search: