HiroakiMikami / deep-coderLinks
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
☆108Updated 6 years ago
Alternatives and similar repositories for deep-coder
Users that are interested in deep-coder are comparing it to the libraries listed below
Sorting:
- Deepcoder paper implementation☆120Updated 2 years ago
- Program Synthesis☆146Updated 4 years ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆63Updated 3 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Karel dataset for program synthesis and program induction☆79Updated 8 years ago
- Implementation of DeepCoder's model in tensorflow☆21Updated 8 years ago
- in progress☆72Updated 8 years ago
- Deep learning program generator☆106Updated 2 years ago
- An curated list of papers on program synthesis.☆70Updated 6 years ago
- A curated list of awesome neural programming resources☆55Updated 7 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 3 years ago
- System for synthesizing Java API idioms, powered by Neural Sketch Learning☆279Updated 2 years ago
- Tree-based Autofolding Software Summarization Algorithm☆43Updated 9 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Updated 9 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Neural Programmer-Interpreter Implementation (Reed, de Freitas: https://arxiv.org/abs/1511.06279), in Tensorflow☆42Updated 7 years ago
- a list of StrongAI related resources.☆11Updated 2 years ago
- Repository for the code of the "A Convolutional Attention Network for Extreme Summarization of Source Code" paper☆120Updated 9 years ago
- Euphony: a probabilistic model-guided program synthesizer☆27Updated 3 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Updated 2 years ago
- Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with appl…☆382Updated 3 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated last year
- REGEL: Regular Expression Generation from Examples and Language☆34Updated 3 years ago
- Baseline for the Conala: Code/Natural Language Challenge☆61Updated 4 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Updated 5 years ago
- ☆42Updated 8 years ago
- Graph-based Deep Q Network for Web Navigation☆47Updated 6 years ago
- Website for Learning from "Big Code"☆30Updated 4 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago