연구진이 AI 코드 생성 과정에 컴파일러 피드백을 활용하는 '생성 컴파일' 기법을 선보였습니다. 이 기법은 Rust와 같은 정적 의미 체계를 가진 언어의 장점을 활용하면서도, 코드 생성의 어려움을 해결합니다. 핵심 기술인 '시알러(sealer)'는 부분 프로그램을 완전한 프로그램으로 변환하여 컴파일러 진단을 가능하게 합니다. 생성 컴파일은 기존 방식보다 오류를 조기에 발견하고 수정하여 코드의 정확성을 높입니다.
연구진은 Rust와 유사한 계산 모델을 기반으로 시알러를 구축하고, Lean으로 구현하여 안전성을 증명했습니다. 실제 Rust 코드에 대한 부분 프로그램 검사기를 개발하여 평가한 결과, 기존 방식 대비 비컴파일 오류 감소 및 기능적 정확성 향상을 확인했습니다. 이 기법은 오류 발생 지점을 추적하고 진단하는 데 효과적입니다.
생성 컴파일은 AI 지원 프로그래밍에서 컴파일러를 코드 생성 과정의 핵심 요소로 통합하는 중요한 단계입니다.