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

arXiv:2609.19315 · cs.RO, cs.AI · Submitted 2026-09-16 · Read on arXiv

cs.RO, cs.AI

Submitted: 2026-09-16

Updated: 2026-09-16

License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/

Terminology

Sources

Related papers