paper-with-me

Papers

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 domains, producing plans with missing preconditions, inconsistent goals, and hallucinations. While classical planners provide logical guarantees, they lack the flexibility and natural language understanding capabilities needed for modern autonomous systems. Existing neuro-symbolic approaches use one-shot translation from natural language to formal plans, missing the opportunity for neural and symbolic components to work and refine solutions together. To address this gap, we develop LOOP -- a novel neuro-symbolic planning framework that treats planning as an iterative conversation between neural and symbolic components rather than simple translation. LOOP integrates 13 coordinated neural features including graph neural networks for spatial relationships, multi-agent validation for consensus-based correctness, hierarchical decomposition for complex task management, and causal memory that learns from both successes and failures. Unlike existing approaches, LOOP generates PDDL specifications, refines them iteratively based on symbolic feedback, and builds a causal knowledge base from execution traces. LOOP was evaluated on six standard IPC benchmark domains, where it achieved 85.8% success rate compared to LLM+P (55.0%), LLM-as-Planner (19.2%), and Tree-of-Thoughts (3.3%). This work shows that the key to reliable planning is not in choosing between neural networks or symbolic reasoners but it lies in making them actually ``talk'' to each other during the entire process. LOOP provides a thorough blueprint for building autonomous systems that can finally be trusted with critical real-world applications.

📄 PDF Abstract BibTeX arXiv:2508.13371

Code (0)

등록된 구현이 없습니다.

Tasks

Natural Language Understanding

Similar Papers 제목 키워드 기반

When Good Equations Get Bad Scores: Improving Symbolic Regression Through Better Parameter Optimization

2026-05-22 · Boxiao Wang, Kai Li, Zhiwei Chen, Yang Huang 외 arxiv

Symbolic Regression (SR) plays a central role in scientific knowledge discovery by distilling mathematical equations from observational data. Most existing SR methods function within a bi-level optimization framework: an…

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning

2025-12-17 · Daragh King, Vasileios Koutavas, Laura Kovacs arxiv

Loop invariant generation remains a critical bottleneck in automated program verification. Recent work has begun to explore the use of Large Language Models (LLMs) in this area, yet these approaches tend to lack a reliab…

CRAFT: A Neuro-Symbolic Framework for Visual Functional Affordance Grounding

2025-07-19 · Zhou Chen, Joe Lin, Sathyanarayanan N. Aakur arxiv

We introduce CRAFT, a neuro-symbolic framework for interpretable affordance grounding, which identifies the objects in a scene that enable a given action (e.g., "cut"). CRAFT integrates structured commonsense priors from…

Scene Understanding

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…

valid

IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds

2026-06-11 · Micaela Vaucher, Santiago Silveira, Santiago Góngora, Luis Chiruzzo arxiv

Computational creativity in Interactive Fiction faces a fundamental tension: Large Language Models (LLM) may produce creative narratives but struggle with world coherence, while symbolic systems ensure consistency but la…