GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning Paper • 2609.19315 • Published 8 days ago • 5