Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning
Researchers Ruiyang Wang and colleagues introduced GAVEL, a framework that verifies and repairs long-horizon LLM robot plans against an explicit graph world model, improving single-task success on BEHAVIOR-1K from 41.2% …