kg9000

4 ms·

1. 1.▲
   NeuroSAT: Learning a SAT Solver from Single-Bit Supervision(arxiv.org)

   76 points by kg9000 9y ago|10 comments
2. 2.▲
   Certigrad: bug-free machine learning on stochastic computation graphs(github.com)

   99 points by kg9000 9y ago|52 comments
3. 3.▲
   by kg9000 9y ago

   > Note that they claim performance similar to TensorFlow in CPU only. But a direct translation of this to Python TensorFlow code could run in GPU, and is probably easy to make. It wouldn't be proven, but it would be much more likely