eth-sri / ModelsPHOGLinks
Synthesized models for PHOG to make the results reproducible by the research community
☆10Updated 5 years ago
Alternatives and similar repositories for ModelsPHOG
Users that are interested in ModelsPHOG are comparing it to the libraries listed below
Sorting:
- A Java program synthesizer.☆21Updated 6 years ago
- C# Data Extraction for "Learning to Represent Edits"☆26Updated 6 years ago
- Refazer: Learning Program Transformations from Examples☆30Updated 7 years ago
- Artifacts and other data for "Code Vectors: Understanding Programs Through Embedded Abstraced Symbolic Traces"☆22Updated 5 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- Code for paper "Lancer: Your Code Tell Me What You Need"☆11Updated 2 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Updated 2 years ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- Taxonomy of Real Faults in Deep Learning Systems☆16Updated 5 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 3 years ago
- Program Synthesis☆145Updated 4 years ago
- ☆20Updated 3 years ago
- A set of tools for extracting tokens and ASTs from code☆22Updated 7 years ago
- ☆10Updated 4 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆49Updated 5 years ago
- Babelfish Python client☆16Updated 5 years ago
- ☆43Updated 7 years ago
- MLonCode community effort to implement Learning Distributed Representations of Code (https://arxiv.org/pdf/1803.09473.pdf)☆39Updated 6 years ago
- Utilities used by the Deep Program Understanding team☆102Updated last year
- Code2Inv: Learning Loop Invariants for Program Verification☆95Updated 4 years ago
- Baseline for the Conala: Code/Natural Language Challenge☆60Updated 3 years ago
- evaluation dataset consisting of natural language query and code snippet pairs☆124Updated last year
- Website for Learning from "Big Code"☆29Updated 3 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆28Updated 4 years ago
- MODIT: On Multi-Modal Learning of Editing Source Code.☆20Updated 4 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- cppminer produces a code2seq compatible datasets from C++ code bases.☆23Updated 5 years ago