GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning Paper • 2609.19315 • Published Sep 16 • 6