제약 조건이 있는 코드 생성에서의 정렬 문제 (The Alignment Problem in Constrained Code Generation)

요약

제약 조건이 있는 코드 생성 시 제약 조건 부여기, 언어 모델, 대상 언어 간의 정렬(alignment) 문제가 기능적 정확성에 미치는 영향을 분석한 연구입니다. 불완전한 제약 조건이 모델의 분포를 왜곡하여 성능을 최대 97%까지 저하시킬 수 있음을 실험적으로 증명했습니다.

핵심 포인트

• 제약 조건 부여기의 불완전함이 모델의 확률 분포를 왜곡함
• 불일치 발생 시 제약 조건 없는 디코딩이 더 높은 정확도를 보임
• 불완전한 제약 조건은 생성 타임아웃 및 기능적 정확성 저하 유발
• 형식적 보장을 갖춘 제약 조건 부여기 설계의 중요성 제시