Popular repositories Loading

1. certigrad certigrad Public

   Bug-free machine learning on stochastic computation graphs

   Lean 404 36

2. neurosat neurosat Public

   NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

   Python 298 61

3. neurocore-public neurocore-public Public

   NeuroCore: Guiding CDCL with Unsat-Core Predictions

   Python 47 9

4. tc tc Public

   Forked from leanprover/tc

   Reference type checker for the Lean theorem prover

   Haskell 18 2

5. lean-python-bindings lean-python-bindings Public

   Python Bindings to the Lean Theorem Prover http://leanprover.github.io/

   Python 13 4

6. lean-gym lean-gym Public

   Lean 12 4