blexim / synthLinks
Program synthesis
☆12Updated 9 years ago
Alternatives and similar repositories for synth
Users that are interested in synth 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
- Codebase for plCoP, a Prolog Technology Reinforcement Learning Prover☆12Updated 4 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Updated 7 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 11 months ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- deep learning for math☆30Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 8 years ago
- DeepAlgebra☆25Updated 7 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 3 months ago
- Implementation of the Monte-Carlo CTW AIXI approximation as described by Joel Veness et al.☆12Updated 8 years ago
- Hierarchical Temporal Sparse Learner☆13Updated 9 years ago
- Program Synthesis☆145Updated 4 years ago
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- System for eXtended Hybrid Abductive Inductive Learning☆25Updated 4 years ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- Differentiable Forth Interpreter☆72Updated 7 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆11Updated last year
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Python term rewriting☆29Updated 12 years ago
- Scripts to generate a dataset with static frames from the Arcade Learning Environment☆19Updated 11 years ago
- Implementation of generative semantic grammar.☆18Updated 3 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆34Updated 5 years ago
- ☆18Updated 8 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆12Updated 2 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 7 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago