Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer

Janis Zenkner, Tobias Sesterhenn, Tim Grams +1

Decomposition-based Programming-by-example (PBE) scales performance by splitting tasks into subtasks that a learned synthesizer solves: a decomposer predicts intermediate subgoals,…