Hugging Face daily papers·11d agoGAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning#embodied-ai#graph-world-models#llm-planning1