eth-sri / guiding-synthesizersLinks
Guiding Program Synthesis by Learning to Generate Examples
☆13Updated 2 years ago
Alternatives and similar repositories for guiding-synthesizers
Users that are interested in guiding-synthesizers are comparing it to the libraries listed below
Sorting:
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- An curated list of papers on program synthesis.☆69Updated 6 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- Counterexample-Driven Genetic Programming☆18Updated 3 years ago
- Tzer: TVM Implementation of "Coverage-Guided Tensor Compiler Fuzzing with Joint IR-Pass Mutation (OOPSLA'22)“.☆13Updated 3 years ago
- Human-In-The-Loop Automatic Program Repair☆19Updated 5 years ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆38Updated 2 years ago
- ☆12Updated 3 years ago
- Program Synthesis☆145Updated 4 years ago
- Security Vulnerability Repair via Concolic Execution and Code Mutations☆18Updated 11 months ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆29Updated last year
- Euphony: a probabilistic model-guided program synthesizer☆25Updated 2 years ago
- From Symbolic Logic Reasoning to Soft Reasoning: A Neural-Symbolic Paradigm☆11Updated 3 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆50Updated last year
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Updated 5 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆37Updated 2 years ago
- CClyzer port to souffle lang☆18Updated last year
- LinearArbitrary-SeaHorn is a CHC solver for LLVM-based languages.☆22Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- An automata learning library written in Python.☆48Updated 5 years ago
- ☆27Updated 2 years ago
- neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains☆24Updated 5 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆21Updated 2 years ago
- An integration of JoernTI's CodeTIDAL5 neural type inference model.☆26Updated 7 months ago
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆41Updated 2 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
- A lightweight framework for the efficient parsing and manipulation of PDDL in lifted form.☆17Updated last year
- Interview questions for Computer Science faculty jobs☆40Updated last year
- ☆20Updated 2 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆16Updated 5 years ago