Hierarchical Planning for Complex Tasks with Knowledge Graph-RAG and Symbolic Verification

Cristina Cornelio, Flavio Petruzzellis, Pietro Lio

Large Language Models (LLMs) have shown promise as robotic planners but often struggle with long-horizon and complex tasks, especially in specialized environments requiring externa…