Path-based inductive synthesis for program inversion
No abstract available.
Related papers
- DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning PLDI 2021
- FlashMeta: a framework for inductive program synthesis OOPSLA 2015
- Relational program synthesis OOPSLA 2018
- A Case for Synthesis of Recursive Quantum Unitary Programs POPL 2024
- Automatic program inversion using symbolic transducers PLDI 2017
- FlashFill++: Scaling Programming by Example by Cutting to the Chase POPL 2023
- Synthesizing structured CAD models with equality saturation and inverse transformations PLDI 2020
- Inductive Synthesis of Recursive Functional Programs (Poster Abstract) ICFP 1997