핵심 개념
COOL은 체인 기반 목표 지향 로직(CoL)과 신경망 피드백 제어(NNFC)를 결합하여 복잡한 프로그램 합성 작업의 효율성과 안정성을 향상시키는 새로운 신경 기호 프레임워크입니다.
초록
COOL: 효율적이고 안정적인 프로그램 합성을 위한 체인 기반 목표 지향 로직 및 신경망 피드백 제어
본 연구 논문(ICLR 2025)에서는 복잡한 프로그램 합성을 위한 새로운 신경 기호 프레임워크인 COOL(Chain-Oriented Objective Logic)을 제안합니다. 기존의 프로그램 합성 방법은 형식적 접근 방식과 신경망 기반 접근 방식 모두 세밀한 제어 및 유연한 모듈성이 부족하여 복잡한 소프트웨어 개발에 적용하는 데 제한적이었습니다.
기존의 기호적 접근 방식(예: SyGus, Escher, FlashFill++)은 세밀한 제어가 부족한 순회 기반 DSL(Domain-Specific Language) 프레임워크로 인해 복잡한 작업으로 확장하기 어려웠습니다. 신경망 기반 접근 방식(예: Neo, LambdaBeam, Bustle, DreamCoder, Algo)은 안내 또는 검색 공간 가지치기에 신경망을 사용하지만 제어 로직이 프로그래머와 분리되어 있습니다. LLM 기반 접근 방식(예: CodeGen, CodeX, Code Llama)은 프롬프트 상호 작용을 통해 프로그래머가 합성을 제어할 수 있지만 모듈성이 부족합니다.