ml4tp / gamepadLinks
A Learning Environment for Theorem Proving
☆75Updated 3 years ago
Alternatives and similar repositories for gamepad
Users that are interested in gamepad are comparing it to the libraries listed below
Sorting:
- ☆43Updated 7 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago
- deep learning for math☆30Updated 6 years ago
- ☆21Updated last year
- ☆14Updated 2 years ago
- ☆27Updated 3 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- ☆42Updated 5 months ago
- Pedagogical first-order prover in Python☆76Updated 2 weeks ago
- Python talking to the Lean theorem prover☆44Updated 3 years ago
- Proof artifact co-training for Lean☆45Updated 2 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 3 months ago
- Interesting ATP Proofs☆13Updated 3 years ago
- λ² is a tool for synthesizing functional programs from input-output examples.☆69Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- Certified Machine Learning☆41Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Holophrasm: a neural Automated Theorem Prover for higher-order logic☆55Updated 5 years ago
- ☆49Updated 2 years ago
- Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving☆39Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆81Updated 3 months ago
- ☆68Updated last month
- ☆12Updated 2 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 5 years ago
- ☆40Updated 6 years ago