SOURCE-LINKED INTELLIGENCE

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

arXiv · Artificial Intelligence · article · Sep 16, 2026 · UTC

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 pre-conditions and effects, and probabilistic beliefs over unobserved object locations. This model can predict the consequences of LLM-generated actions before execution, detect v

Read original source ↗ Open in workspace

recordType

paper

region

Global