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

Nhóm nghiên cứu trình bày GAVEL, một framework xác minh và sửa lỗi cho quy hoạch dài hạn của LLM bằng cách sử dụng mô hình thế giới đồ thị rõ ràng. Đồ thị này biểu diễn quan hệ đối tượng, điều kiện tiền đề, hiệu ứng hành động và niềm tin xác suất về các vị trí đối tượng chưa quan sát. Nhờ đó, hệ thống có thể dự đoán hậu quả của hành động trước khi thực hiện, phát hiện vi phạm và tự sửa chữa, đồng thời chỉ dùng LLM replanning cho các lỗi cần suy luận ngữ nghĩa phức tạp. Đánh giá trên BEHAVIOR-1K với Qwen3-8B cho thấy GAVEL cải thiện đáng kể tỷ lệ thành công và giảm quãng đường di chuyển.

Sử dụng Qwen3-8B, GAVEL cải thiện tỷ lệ thành công tác vụ đơn từ 41.2% lên 91.8%.

Cải thiện tỷ lệ thành công đa tác vụ từ 19.9% lên 92.6%.

Lý luận niềm tin phân phối giúp giảm khoảng cách di chuyển xấp xỉ 5.4% so với biến thể tĩnh.