arxiv-2609-19315 SRC-0497 · paper

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

Created: 2026-09-16 · Ingested: 2026-10-17

https://arxiv.org/abs/2609.19315

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

Referenced by

Claims in this catalog that draw on this source, and whether as support or counterpoint.

supportsFor long-horizon embodied task planning where a symbolic model defines action preconditions and effects, correcting a violated plan by edits the action model itself implies (inserting the missing navigate or open) raises plan success more per LLM call than returning the violation to the LLM for replanning, and the gain persists for frontier models as well as compact ones.