검증 가능하고 효율적인 장기 LLM 작업 계획을 위한 그래프 세계 모델

Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning