HiroakiMikami / deep-coder
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
☆107Updated 5 years ago
Related projects: ⓘ
- Deepcoder paper implementation☆112Updated last year
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆60Updated last year
- Program Synthesis☆143Updated 3 years ago
- Implementation of DeepCoder's model in tensorflow☆21Updated 6 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains☆22Updated 4 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆37Updated last year
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- Deep learning program generator☆102Updated 9 months ago
- An curated list of papers on program synthesis.☆67Updated 5 years ago
- ☆40Updated 5 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 3 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆39Updated 4 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 4 years ago
- Probabilistic API Mining☆53Updated 6 years ago
- Karel dataset for program synthesis and program induction☆78Updated 6 years ago
- Code for "Generative Code Modeling with Graphs" (ICLR'19)☆169Updated last year
- ☆50Updated 4 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- 58069 Java source code diffs. http://arxiv.org/pdf/1807.03200☆91Updated 5 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- A set of tools for extracting tokens and ASTs from code☆22Updated 6 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A Java program synthesizer.☆21Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆63Updated 2 months ago
- Tree-based Autofolding Software Summarization Algorithm☆42Updated 8 years ago
- Website for Learning from "Big Code"☆29Updated 3 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆40Updated 5 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆30Updated last year
- ☆41Updated last year