arXiv — cs.AI preprintsInternational9 October 2026
Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer
This is an official announcement record
Firsthand records what arXiv — cs.AI preprints announced and links to the original. The wording below is theirs, not ours.
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 programs conditioned on them. Execution-decomposition approaches such as ExeDec train the decomposer to imitate ground-truth (GT) subgoals, implicitly treating decomposition quality as intrinsic to the task. We challenge this assumption: for bounded solvers with fixed inductive biases, GT decompositions reflect the annotator's factorizat
Read the official announcement
Opens arxiv.org
More from arXiv — cs.AI preprints
- An Explainable Header-Centric Framework for Large-Scale Semantic Table Interpretation and Data Quality Assessment9 October 2026
- Synthesis Through Simulation: Generating Coherent Enterprise Data via Scalable Agent-System Interaction9 October 2026
- Agent-Controlled Forgetting for Tool-Using Agents: Reversible Context Curation in Practice9 October 2026
- Verification and Self-Improvement in Agentic AI: Foundations and Limits9 October 2026
- The Harness as the Only Mutable Surface: Compliance-Bounded Self-Evolution of LLM Agents in Credit Pipelines, with a Measured Admission Gate9 October 2026
This content is for informational purposes only and is not professional advice. Specifications, prices, plan tiers, and features change frequently and may differ from what is shown here; verify current details on the manufacturer's or company's official page before purchasing. Ratings are based on analysis of published documentation, not independent lab testing.