2 ms·Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning1 points by gmays 13d ago