자연어 지시를 효율적으로 처리하고 분석하여 통찰력 있는 정보를 제공하는 AutoTAMP

LLM을 번역기와 검증기로 활용하여 자연어 지시를 형식적 작업 명세로 변환하고, 이를 통합 작업 및 동작 계획 알고리즘으로 해결하는 방법을 제안한다.