Daniel Selsam's repositories
neurocore-public
NeuroCore: Guiding CDCL with Unsat-Core Predictions
neurocuber
NeuroCuber: training NeuroSAT to make cubing decisions for hard SAT problems
lean-step-public
Proof artifact co-training for Lean
lean3
Lean Theorem Prover
Language:C++Apache-2.0000
lean3port
Stub for downloading mathport artifacts for Lean 3
Language:Lean000
lean_proof_recording
Proof recording for Lean 3
mathlib3port
Stub for downloading mathport artifacts for mathlib3
minGPT
A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training
MIT000
minisat
A minimalistic and high-performance SAT solver
Language:C++NOASSERTION000