Submitted by Ruiyang Wang 5 GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning Duke University 2
Ruiyang Wang 