Popular repositories

1. certigrad certigrad Public

   Bug-free machine learning on stochastic computation graphs

   Lean 385 34

2. neurosat neurosat Public

   NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

   Python 259 56

3. neurocore-public neurocore-public Public

   NeuroCore: Guiding CDCL with Unsat-Core Predictions

   Python 37 8

4. tc tc Public

   Forked from leanprover/tc

   Reference type checker for the Lean theorem prover

   Haskell 13 1

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

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

   Python 13 3

6. lean-gym lean-gym Public

   Lean 11 4