Bo Yang

A Neuro-Symbolic Framework for LLM-Driven Task Planning and Execution in Industrial Assembly

This paper proposes a neuro-symbolic framework that combines large language model (LLM)-driven task planning with formal symbolic verification and reactive Behavior Tree execution to support high-precision operations in industrial assembly. While Large Language Models (LLMs) demo...