HN
Hacker News
Top
New
Best
Ask
Show
Jobs
pkay
59 karma · joined June 28, 2017
submissions
comments
NeuroSAT: Learning a SAT Solver De Novo from Data
github.com
·
2 pts
·
pkay
·
0
Developing Bug-Free Machine Learning Systems with Formal Mathematics
arxiv.org
·
111 pts
·
pkay
·
9