Cristina Cornelio
@corneliocristina.bsky.social
Research Scientist @ Samsung AI https://corneliocristina.github.io
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
Neuro-Symbolic AI, Neuro-Symbolic Applications, Open Information Extraction, AI4Science
Paper in a nutshell: We enhance LLM-based planners to tackle long-horizon/complex robotics tasks by combining knowledge-graph-powered Retrieval-Augmented Generation (RAG) with hierarchical task decomposition, ensuring formal correctness and reliability through symbolic validation.
July 13, 2025 at 4:37 PM
Paper in a nutshell: We enhance LLM-based planners to tackle long-horizon/complex robotics tasks by combining knowledge-graph-powered Retrieval-Augmented Generation (RAG) with hierarchical task decomposition, ensuring formal correctness and reliability through symbolic validation.