eth-sri / guiding-synthesizersLinks
Guiding Program Synthesis by Learning to Generate Examples
☆13Updated last year
Alternatives and similar repositories for guiding-synthesizers
Users that are interested in guiding-synthesizers are comparing it to the libraries listed below
Sorting:
- ☆43Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆39Updated 2 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆13Updated 3 years ago
- A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Jo…☆38Updated 5 years ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆19Updated 4 years ago
- ACER is an AST-based Callgraph Generator Development Framework☆35Updated last year
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- ☆28Updated 2 years ago
- ☆10Updated 4 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆31Updated 2 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
- General-purpose program synthesiser☆45Updated 8 months ago
- An automata learning library written in Python.☆49Updated 5 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 11 months ago
- Counterexample-Driven Genetic Programming☆17Updated 3 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 4 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆25Updated 5 months ago
- Interview questions for Computer Science faculty jobs☆40Updated last year
- neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains☆24Updated 5 years ago
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆16Updated 11 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆49Updated 11 months ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆61Updated 2 years ago
- Deep Program Structure Modeling ThroughMulti-Relational Graph-based Learning☆10Updated 4 years ago
- Sydr benchmark applications☆17Updated 2 years ago
- A System for Debloating C/C++ Programs☆31Updated 3 years ago