TY - RPRT TI - SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch AU - Yihao Chen AU - Shi Chang AU - Feng Lin AU - Khaled Chawa AU - Boyuan Chen AU - Shaowei Wang AU - Ahmed E. Hassan PY - 2026 UR - https://arxiv.org/abs/2607.27167 ID - 2607.27167 ER -