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

Les auteurs présentent GAVEL, un cadre pour vérifier et corriger la planification de tâches à long terme des LLM à l'aide d'un modèle du monde graphique explicite. Le graphe représente les relations d'objets, les préconditions d'action et les croyances probabilistes sur les emplacements non observés. Cela permet au système de prédire les conséquences des actions avant l'exécution, de détecter les violations et de réserver le replanning par LLM aux erreurs sémantiques. Évalué sur BEHAVIOR-1K avec Qwen3-8B, GAVEL améliore les taux de réussite et réduit la distance de parcours.

Avec Qwen3-8B, GAVEL améliore le succès d'une seule tâche de 41.2% à 91.8%.

Il améliore le succès multi-tâches de 19.9% à 92.6%.

Le raisonnement sur les croyances distributionnelles réduit la distance de parcours d'environ 5.4% par rapport à une variante statique.