TY  - RPRT
TI  - GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning
AU  - Ruiyang Wang
AU  - Hao-Lun Hsu
AU  - Swarajh Mehta
AU  - Jiwoo Kim
AU  - Zhihao Dou
AU  - Miroslav Pajic
PY  - 2026
UR  - https://arxiv.org/abs/2609.19315
ID  - 2609.19315
ER  -