HN
Hacker News
Top
New
Best
Ask
Show
Jobs
kg9000
79 karma · joined June 28, 2017
submissions
comments
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
arxiv.org
·
76 pts
·
kg9000
·
10
Certigrad: bug-free machine learning on stochastic computation graphs
github.com
·
99 pts
·
kg9000
·
52