paper-with-me

Papers

NSP: A Neuro-Symbolic Natural Language Navigational Planner

2024-09-10 · William English, Dominic Simon, Sumit Jha, Rickard Ewetz

Path planners that can interpret free-form natural language instructions hold promise to automate a wide range of robotics applications. These planners simplify user interactions and enable intuitive control over complex semi-autonomous systems. While existing symbolic approaches offer guarantees on the correctness and efficiency, they struggle to parse free-form natural language inputs. Conversely, neural approaches based on pre-trained Large Language Models (LLMs) can manage natural language inputs but lack performance guarantees. In this paper, we propose a neuro-symbolic framework for path planning from natural language inputs called NSP. The framework leverages the neural reasoning abilities of LLMs to i) craft symbolic representations of the environment and ii) a symbolic path planning algorithm. Next, a solution to the path planning problem is obtained by executing the algorithm on the environment representation. The framework uses a feedback loop from the symbolic execution environment to the neural generation process to self-correct syntax errors and satisfy execution time constraints. We evaluate our neuro-symbolic approach using a benchmark suite with 1500 path-planning problems. The experimental evaluation shows that our neuro-symbolic approach produces 90.1% valid paths that are on average 19-77% shorter than state-of-the-art neural approaches.

📄 PDF Abstract BibTeX arXiv:2409.06859

Code (0)

등록된 구현이 없습니다.

Tasks

valid

Similar Papers 제목 키워드 기반

Neuro-Symbolic Drive: Rule-Grounded Faithful Reasoning for Driving VLAs

2026-06-22 · Xiangbo Gao, Xiukun Huang, Boyu Lu, Junge Zhang 외 arxiv

Driving VLA models incorporating Chain-of-Thought (CoT) reasoning are attractive because they leverage pretrained VLM representations and expose intermediate decisions in natural language, yet current rationales often la…

LOOP: A Plug-and-Play Neuro-Symbolic Framework for Enhancing Planning in Autonomous Systems

2025-08-18 · Ronit Virwani, Ruchika Suryawanshi arxiv

Planning is one of the most critical tasks in autonomous systems, where even a small error can lead to major failures or million-dollar losses. Current state-of-the-art neural planning approaches struggle with complex do…

Natural Language Understanding

Conformal Temporal Logic Planning using Large Language Models

2023-09-18 · Jun Wang, Jiaming Tong, Kaiyuan Tan, Yevgeniy Vorobeychik 외

This paper addresses planning problems for mobile robots. We consider missions that require accomplishing multiple high-level sub-tasks, expressed in natural language (NL), in a temporal and logical order. To formally de…

Conformal PredictionMotion Planning

SymPlanner: Deliberate Planning in Language Models with Symbolic Representation

2025-05-02 · Siheng Xiong, Jieyu Zhou, Zhangding Liu, Yusen Su

Planning remains a core challenge for language models (LMs), particularly in domains that require coherent multi-step action sequences grounded in external constraints. We introduce SymPlanner, a novel framework that equ…

valid

A Framework for Neurosymbolic Robot Action Planning using Large Language Models

2023-03-01 · Alessio Capitanelli, Fulvio Mastrogiovanni

Symbolic task planning is a widely used approach to enforce robot autonomy due to its ease of understanding and deployment in robot architectures. However, techniques for symbolic task planning are difficult to scale in …

Task Planning