Skeleton Coding: Program Structure as a Specification for Agents
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 provide, and which ones, for the agent to produce the developer's intended program? We argue that this cannot be de...
Aditya Golatkar, Alessandro Achille, Renos Zabounidis et al.
· 0 citations