Pinned Repositories
arc
Experimental solver for ARC
binport
A tool for building Lean4 .olean files from Lean3 export data
certigrad
Bug-free machine learning on stochastic computation graphs
lean-gym
lean-python-bindings
Python Bindings to the Lean Theorem Prover http://leanprover.github.io/
neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
neurocuber
NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems
neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
tc
Reference type checker for the Lean theorem prover
terpret_problem
A simple demonstration of the "Terpret" problem, in which gradient descent fails.
dselsam's Repositories
dselsam/certigrad
Bug-free machine learning on stochastic computation graphs
dselsam/neurosat
NeuroSAT: Learning a SAT Solver from Single-Bit Supervision
dselsam/neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
dselsam/lean-gym
dselsam/binport
A tool for building Lean4 .olean files from Lean3 export data
dselsam/neurocuber
NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems
dselsam/arc
Experimental solver for ARC
dselsam/lean
Lean Theorem Prover
dselsam/oracle
Haskell prototype of the Search Transformer and Universal Oracle
dselsam/larc
Neuro-Symbolic ARC Solver in Lean4
dselsam/lean-step-public
Proof artifact co-training for Lean
dselsam/lean4
Lean4 work in progress repo
dselsam/mathzoo
Lean mathzoo
dselsam/nnsos
Synthetic data for (cyclic) sum-of-squares decomposition problems.
dselsam/search
Search transformers for Lean4
dselsam/emacs
Mirror of GNU Emacs
dselsam/lean-gptf
Interactive neural theorem proving in Lean
dselsam/lean3
Lean Theorem Prover
dselsam/lean3-gym
dselsam/lean3port
Stub for downloading mathport artifacts for Lean 3
dselsam/lean4-mathlib-import
dselsam/lean_proof_recording
Proof recording for Lean 3
dselsam/mathlib
Lean mathematical components library
dselsam/mathlib3port
Stub for downloading mathport artifacts for mathlib3
dselsam/mathlib4
Work in progress mathlib port for lean 4
dselsam/mathport
Mathport is a tool for porting Lean3 projects to Lean4
dselsam/minGPT
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
dselsam/minisat
A minimalistic and high-performance SAT solver
dselsam/robbed
A pure Haskell implementation of Reduced Ordered Binary Decision Diagrams (BDDs)
dselsam/z3
The Z3 Theorem Prover