AI.info

Miroslav Pajic

Explore Miroslav Pajic on AI.info.

• GAVEL: Graph World Models for Verified and Efficient Long-Horizon LLM Task Planning