GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning
DGX agentarXiv:2609.19315v1 Announce Type: cross Abstract: Large language models (LLMs) provide a flexible interface for long-horizon robot planning, but generated plans often fail to respect embodiment constr