Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop

작성자

Haebom

카테고리

Empty

저자

Roberto Rossi, Steven D. Prestwich

💡 개요

본 논문은 물류, 에너지, 인력 계획 등 다양한 산업 분야에서 활용되는 수학적 계획법 모델링의 복잡성을 해결하기 위해, 자연어 문제 설명을 컴파일러 피드백과 LLM 기반 판별을 활용하는 "SyntAGM" 시스템을 제안합니다. SyntAGM은 읽기 쉬운 대수적 모델링 언어로 최적화 모델을 생성하고, 반복적인 생성-컴파일-평가-수정 과정을 통해 문제 설명과 일치하는 유효한 모델을 도출합니다. 결과적으로 기존 프롬프팅 기반 접근 방식보다 더 나은 비용-품질 균형을 달성합니다.

🔑 시사점 및 한계

•

자연어 기반 수학적 계획법 모델 생성을 위한 효과적인 반복적 컴파일러-언어 모델 협업 프레임워크를 제시합니다.

•

모델의 가독성, 검증 가능성, 재사용성을 높이는 대수적 모델링 언어 기반의 모델 생성 방식을 제안합니다.

•

제안된 방법론은 기존의 프롬프팅 기반 방식 대비 비용-품질 측면에서 개선된 성능을 보여줍니다.

•

모델 생성 과정에서 컴파일러의 상세한 피드백과 LLM 기반의 언어적 정렬 판별 능력의 상호 보완적인 활용이 중요하며, 향후 더 복잡하고 다양한 실제 문제를 해결하기 위한 모델의 견고성 및 일반화 성능 향상이 과제로 남습니다.

PDF 보기

Made with Slashpage