pkay

3 ms·

1. 1.▲
   NeuroSAT: Learning a SAT Solver De Novo from Data(github.com)

   2 points by pkay 9y ago|0 comments
2. 2.▲
   by pkay 9y ago

   > Note: building Certigrad currently takes ~15 minutes and consumes ~7 GB of memory. Why does it take so long and use so much memory?
3. 3.▲
   Developing Bug-Free Machine Learning Systems with Formal Mathematics(arxiv.org)

   111 points by pkay 9y ago|9 comments