None defined yet.
GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning
