LTL 명세 학습을 위한 설명 통합

LLM(Large Language Model)과 최적화 기반 방법을 결합하여 데모 및 설명으로부터 신뢰할 수 있는 LTL 명세를 합성하는 방법을 제안한다.