ASTOR: 형식 문법을 활용한 소프트 제약 조건 최적화 자동 공식화의 벤치마킹 및 개선

요약

본 논문은 자연어 의사 결정 문제를 수학적 최적화 모델로 변환하는 자동 공식화(autoformulation)의 한계를 개선한 ASTOR 프레임워크를 제안합니다. 특히, 기존 연구들이 간과했던 소프트 제약 조건(soft constraints)을 형식 문법 기반으로 포착하여 실행 가능한 코드로 컴파일합니다. SoftOR 벤치마크에서 최고의 성능을 입증했습니다.

핵심 포인트

• ASTOR는 자연어 문제를 AST로 매핑하고 최적화 코드로 컴파일하는 프레임워크입니다.
• 기존 연구의 약점인 소프트 제약 조건 공식화에 초점을 맞추었습니다.
• SoftOR 벤치마크에서 최고의 종합 정확도를 달성했습니다.
• 하드/소프트 제약을 모두 다루는 의사 결정 문제 해결에 기여합니다.