GAVEL Uses Graph World Models to Verify Long-Horizon Robot Planning | HACKOBAR_