eth-sri / guiding-synthesizers
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
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 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…☆37Updated 4 years ago
- ☆43Updated last year
- General-purpose program synthesiser☆42Updated 4 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated last year
- An curated list of papers on program synthesis.☆68Updated 5 years ago
- neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains☆24Updated 5 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆38Updated last year
- ACER is an AST-based Callgraph Generator Development Framework☆31Updated 8 months ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- ☆11Updated last year
- ☆22Updated 2 weeks ago
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- [ICML 2023] "Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation", Wenqing Zheng, S P Sharan, Ajay Kumar Jaiswal, …☆40Updated last year
- ☆43Updated 7 years ago
- Clover: Closed-Loop Verifiable Code Generation☆31Updated 9 months ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆32Updated 3 years ago
- Program Synthesis☆145Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆13Updated 3 years ago
- ☆18Updated 3 years ago
- Artifact package accompanying our POPL 2020 submission titled Provenance-Guided Synthesis of Datalog Programs.☆18Updated 4 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆47Updated 7 months ago
- Efficient Sampling of SAT Solutions for Testing☆34Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆10Updated 3 years ago
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- gradient-based symbolic execution engine implemented from scratch☆35Updated last year