**GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Pla

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

> Large language models (LLMs) provide a flexible interface for long-horizon robot planning, but generated plans often fail to respect embodiment constraints, recover from planning errors, or reason effectively under partial observability. We present GAVEL, a framework for verifying and repairing long-horizon LLM planning built around an explicit graph world model. The graph represents relevant object-relations, action...

**来源信息**
- **来源**：HuggingFace Daily Papers（社区热门论文）
- **分类**：ai-models
- **发布时间**：2026-09-21 08:00（北京时间）
- **原文**：[打开原文](https://huggingface.co/papers/2609.19315)