HN Explorer

kg9000

↗ HN profile [ 20.9 ms ] full profile
Karma
79
Created
June 29, 2017 (9y ago)
Submissions
0
  1. NeuroSAT: Learning a SAT Solver from Single-Bit Supervision (arxiv.org)
    76 points 10
  2. Certigrad: bug-free machine learning on stochastic computation graphs (github.com)
    99 points 52