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

arXiv:2608.03461v2 Announce Type: replace Abstract: Decomposition-based Programming-by-example (PBE) scales performance by splitting tasks into subtasks that a learned synthesizer solves: a decomposer predicts intermediate subgoals, and a synthesizer generates