blexim / synth
Program synthesis
☆12Updated 8 years ago
Alternatives and similar repositories for synth:
Users that are interested in synth are comparing it to the libraries listed below
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆117Updated last week
- deep learning for math☆29Updated 5 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆43Updated 7 years ago
- Learning to Prune: Exploring the Frontier of Fast and Accurate Parsing☆22Updated 7 months ago
- Simple, small, fully-connected Python version of NeoRL☆11Updated 9 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Updated 5 years ago
- Combining Symbolic and Function Evaluation Expressions In Neural Programs☆33Updated 5 years ago
- Differentiable Forth Interpreter☆70Updated 7 years ago
- DeepAlgebra☆25Updated 7 years ago
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 7 years ago
- Program Synthesis☆145Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- ☆58Updated 8 years ago
- Theano implementation of the Neural GPU☆15Updated 9 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- PyTorch library for synthesizing programs from natural language☆18Updated 9 months ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- A probabilistic programming language, based on Church☆17Updated 7 years ago
- a fully-differentiable graphical raytracer☆15Updated 9 years ago
- Implementation of generative semantic grammar.☆18Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Solves AI, transcends reality, infiltrates your mind☆38Updated 7 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated last month
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Information geometry and its extension information topology☆10Updated 7 years ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Content Addressable Memory using dimensionality reduction☆12Updated 8 years ago
- Infinite relational model (IRM) for datamicroscopes☆14Updated 9 years ago