86%Must read
?Must readVote to see the score
Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer
Solver-Aware Decomposition trains PBE decomposers via synthesizer feedback, showing ground-truth subgoal alignment does not improve synthesis and optimizing for solver tractability yields consistent accuracy gains.
Sydney Poster Session 6, Thu, Dec 10, 5:00 PM–8:00 PM, Hall 1-4 · Published 2026
– ReadersNo votes yet
14/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 14 of 20 reviewers recommend it
lenient 4/5
medium 9/10
strict 1/5