SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch
SpecFirst:将行为规范提取作为从零开始的基于智能体的程序合成中的一等步骤
机构 * Queen's University(女王大学) ; University of Manitoba(曼尼托巴大学) ; Concordia University(康考迪亚大学)
专题命中 其他LLM :LLM(abstract,abstract_cn);分类 cs.CL
AI总结 SpecFirst是将行为规范提取设为独立前置阶段的两阶段框架,在ProgramBench上显著提升了从零开始的程序合成的测试通过率与二进制探索覆盖率。