Skeleton Coding: Program Structure as a Specification for Agents.

arXiv:2610.38214v1 Announce Type: cross Abstract: Coding agents are typically provided end-to-end behavioral specifications that the code they produce should satisfy, such as tests and input--output examples. How many such specifications must a developer provi