This workshop continues a series previously organized at IROS 2020, IROS 2022, and ICRA 2023, dedicated to the integration of machine learning and automated reasoning for intelligent robotic systems.

The new edition focuses on recent progress in Neuro-Symbolic AI, exploring how the combination of foundation models, formal logical reasoning, and commonsense knowledge such as knowledge graphs can address key limitations of current AI approaches used for intelligent robots and systems.

Although Large Language Models (LLMs) have achieved remarkable results in language understanding, multimodal perception, and planning, supported by techniques such as chain-of-thought prompting and retrieval-augmented generation, they still lack persistent structured memory and formal guarantees of logical consistency. These limitations make them prone to hallucinations and unreliable long-horizon reasoning in complex and safety-critical robotic environments.

At its core, the workshop explores the transformative synergy between large language models, formal logic, and symbolic reasoning, a convergence that promises to transcend the limitations of purely data-driven paradigms. Neural models contribute robust perceptual grounding and generative fluency, while symbolic reasoning, anchored in structured commonsense knowledge such as knowledge graphs, enforces explainability, logical coherence, and safety-critical guarantees, yielding hybrid architectures that are both capable and trustworthy.

Despite the growing interest in this direction, the integration of neural models, large language models, and symbolic knowledge bases such as knowledge graphs within unified neuro-symbolic frameworks for robotics is still at an early stage of development.

The workshop will consist of:

• Six invited expert talks
• Presentations by young researchers and PhD students
• A poster session
• Interactive discussions among speakers, organizers, and attendees

The goal is to foster collaboration and advance research on integrating foundation models with structured knowledge and formal reasoning.