SpecFirst: 에이전트 기반 프로그램 합성에서 행동 사양 도출을 1급 단계로 다루기

연구진은 프로그램 합성을 위한 2단계 에이전트 워크플로우인 SpecFirst를 제안했다.

첫 번째 에이전트가 문서와 실행 전용 바이너리에서 구조화된 행동 명세를 추출하고, 두 번째 에이전트가 그 명세를 바탕으로 프로그램을 구현한다.

ProgramBench에서 SpecFirst는 4개 모델 모두에서 Direct-Synthesis 기준선보다 더 좋은 성능을 보였다.

테스트 통과율과 바이너리 탐색 범위를 높이는 동시에 탐색과 코딩 사이의 왕복을 줄여, 요구사항 파악과 구현을 분리하는 방식의 효과를 보여줬다.