Neuro-Symbolic Reasoning

Ask about this topic

Momentum

11 papers in the last four weeks, up 57% on the four weeks before. 0.1% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 169

All topics
CardsList

  1. Auto-Formalizing Neuro-Symbolic Predictors

    Oct 1, 2026Samuele Bortolotti, Weixin Chen, Han Zhao +3Neuro-Symbolic Reasoning

    University of Trento, Italy · University of Illinois Urbana-Champaign, USA · University of Edinburgh, UK

  2. Neuro-Symbolic Predicate Learning for Semantic Safe Robot Control

    Sep 30, 2026Zihan Ye, Jiayi Liu, Puze Liu +4Robotic ControlRobotics

    TU Darmstadt · AIML group · Hessian AI +5

  3. Neuro-Symbolic Computer Use: Learning Reusable Policies for Reliable and Efficient Execution

    Sep 29, 2026Hyewon Suh, Thanh Minh Nguyen, Chih-Lun Lee +5Computer-Use AgentsRuntime Enforcement for AI Agents

    Georgia Institute of Technology · Simular · Stanford University

  4. Neuro-symbolic AI for Industrial Configuration

    Sep 24, 2026Danilo Valerio, Philipp Kogler, Stefan Bischof +2ManufacturingNeuro-Symbolic Reasoning

    Siemens AG Österreich · Siemens AG

  5. Ontology-Mediated Neurosymbolic Constraint Acquisition from Multiple Stakeholders

    Sep 24, 2026Stefan Bischof, Juliana Kainz, Danilo ValerioNeuro-Symbolic ReasoningConstraint Satisfaction

    Siemens AG Österreich, Vienna, Austria

  6. NeuSOGA3D: A Neuro-Symbolic Framework for Explainable 3D Geometric Reconstruction

    Sep 17, 2026Qingde Li, Qingqi Hong, Zihan Li +13D ReconstructionPoint Cloud Surface Reconstruction

    Computer Science, School of Digital and Physical Sciences, University of Hull, HU6 7RX, UK · The Institute of Artificial Intelligence, Xiamen University, Xiamen, China · Department of Bioengineering, University of Washington, Seattle, WA, USA +1

  7. Neuro-Symbolic Agentic AI for Networked Low-Altitude UAVs

    Sep 17, 2026Yuqi Ping, Tianhao Liang, Nanchi Su +4AI Agent ReliabilityAerial Robotics

    College of Informatics, Harbin Institute of Technology, Shenzhen 518000, China

  8. Disentangling Long-Term Memory via Latent Neuro-Symbolic Reasoning

    Sep 16, 2026Cai Ke, Xinghao Chen, Xiaoyu Shen +6Graph-Based Agent MemoryNeuro-Symbolic Reasoning

    Tencent Youtu Lab · Zhejiang Key Laboratory of Industrial Intelligence and Digital Twin, EIT, Ningbo, China · Department of Computing, The Hong Kong Polytechnic University, Hong Kong, China +1

  9. Neuro-Symbolic Hierarchical Intention Anticipation in Human Behavior

    Sep 15, 2026Farnaz Soleimani, Abdelghani Chibani, Yacine Amirat +1Human Behavior PredictionNeuro-Symbolic Reasoning

    LISSI · aLISSI Laboratory, University of Paris-Est Créteil (UPEC), IUT de Créteil-Vitry, France

  10. NeuroSymbEAD: A Large Scale Neuro-Symbolic Caption Dataset for Omni-Directional Embodied Autonomous Driving

    Sep 15, 2026Muhammad Ahmed Ullah Khan, Mohammed Elamine, Sheikh Talha Uddin +3Autonomous Driving DatasetsAutonomous Driving Benchmarks

    DFKI · RPTU Kaiserslautern-Landau · Independent Researcher +1

  11. Soft Symbol Grounding for Prototypical Concepts

    Sep 14, 2026Marcos Galván-López, Nijesh Upreti, Hiram Calvo +2Prototype-Based ClassificationWeakly Supervised Learning

    Centro de Investigación en Computación, Instituto Politécnico Nacional. · School of Informatics, University of Edinburgh.

  12. Diagnosing with Insights: Structured Analysis of Agent Failures via Behavioral Abstractions

    Sep 2, 2026Jiayi Bi, Yanjie Gao, Yuanmin Xie +4Fault LocalizationLLM Agent Reliability

    1Tsinghua University · 2Microsoft Research · 3Microsoft +1

  13. Does Reasoning Mitigate Backdoor Attacks? A Neuro-Symbolic Perspective

    Aug 31, 2026Marco Antonio Corallo, Andrea Agiollo, Mauro Conti +1Adversarial AttacksAdversarial Robustness

    Örebro University · Örebro, Sweden · Delft University of Technology +3

  14. Stratified Consistency Distillation for Natural Language Formalization

    Aug 31, 2026Zhichao Hou, Ferhat Erata, Joe Lilien +1LLM Fine-TuningConsistency Distillation

    North Carolina State University · Amazon Web Services

  15. Policy-as-logic for robust reasoning over rules

    Aug 12, 2026Rahul Nair, Bastian Lipka, Elizabeth DalyNeuro-Symbolic ReasoningLanguage Model Robustness

    1IBM Research · 2IBM

  16. sLTN: Structural Logic Tensor Networks

    Aug 11, 2026Davide Rinaldi, Luciano SerafiniTensor NetworksStructured Reasoning

    Nokia Bell Labs · Fondazione Bruno Kessler

  17. Hypothesis Frontier: Verifier Guided LLM and Symbolic Search for First-Order Induction

    Aug 11, 2026Serafim BatzoglouSymbolic ReasoningLLM-Based Program Synthesis

    Independent Researcher

  18. Reasoning Shortcuts and Value Symmetries: What Symmetry Permits, Architecture Realizes, and Optimization Selects

    Aug 11, 2026Xin XuSymbolic ReasoningNeuro-Symbolic Reasoning

    Carnegie Mellon University · University of Pennsylvania

  19. SymDiag: Explainable Diagnosis for LLM Reasoning via Neuro-Symbolic Verification

    Aug 9, 2026Wenyao Cui, Huaping Zhang, Yongyi Huang +6CoT FaithfulnessLLM Answer Verification

    Beijing Institute of Technology Beijing, China · Zhongguancun Academy Beijing, China · Xinjiang Future Enterprise Incubator Co., Ltd. Xinjiang, China +1

  20. Deep probabilistic logic programming for diagnostic reasoning from incomplete information: A case study in stroke detection

    Aug 9, 2026Felix Weitkämper, Monchito Avila, Elizabeth Nanjala +2Probabilistic LogicClinical Reasoning

    German University of Digital Science

  21. Neurosymbolic Discovery of Algebraic Graph Constructions

    Aug 8, 2026David Seka, Stefan SzeiderNeuro-Symbolic ReasoningLarge Language Model-Guided Scientific Discovery

    Algorithms and Complexity Group TU Wien, Vienna, Austria

  22. Self-Evolving Neuro-Symbolic Skills for Tool-Augmented Spatial Reasoning

    Aug 8, 2026Shi-Yu Tian, Zhuo-Xia Wang, Xuan-Yi Zhu +6Tool Use in VLMsLLM Agent Skill Learning

    National Key Laboratory for Novel Software Technology, Nanjing University, China · School of Artificial Intelligence, Nanjing University, China · College of Computer Science, Sichuan University

  23. Tytan: Interactive Neurosymbolic Construction of Analytic Semantic Schemas from Relational Data

    Aug 6, 2026Donna Hooshmand, Shubham Shahi, Cameron Barrie +4Semantic MappingNeuro-Symbolic Reasoning

    Northwestern University

  24. NeSy-RAG: Neuro-Symbolic RAG for Explainable Question Answering

    Aug 6, 2026Jonas Gann, Michael GertzRetrieval-Augmented GenerationQuestion Answering

    Data Science Group, Heidelberg University, Germany

  25. Neuro-Symbolic Closed-Loop Control of Laser Powder Bed Fusion with an In-Loop Ontology

    Aug 6, 2026Gisuk Hong, Jaebong Cho, Hyunbo ChoNeuro-Symbolic ReasoningAdditive Manufacturing

    aDepartment of Industrial and Management Engineering, Pohang University of Science and Technology, 77 Cheongam-ro, Nam-gu, Pohang, 37673, South Korea

  26. Mimir: A Neuro-Symbolic Memory System with Dynamic Grounding for Embodied Agents in Interactive Environments

    Aug 5, 2026Haoming Xu, Zhenlin He, Hengyi Wang +2Neuro-Symbolic ReasoningLong-Horizon Agent Tasks

    PrimeBot Research Institute · Peking University

  27. The RAIL Principles for Neurosymbolic AI: Reasoning, Assurances, Interfacing and Learning

    Aug 4, 2026Agnese Chiatti, Michael Cochez, Cristina Cornelio +14Symbolic ReasoningNeuro-Symbolic Reasoning

    Politecnico di Milano · ELLIS Institute Finland & Abo Akademi University · Samsung AI +12

  28. ANCHOR-RE: An Agentic Neuro-Symbolic Framework for Grounded Biomedical Relation Extraction

    Aug 4, 2026Shufan Ming, Yikun Han, Gibong Hong +2Relation ExtractionLLM Grounding

    School of Information Sciences, University of Illinois Urbana-Champaign, 501 E Daniel St., Champaign, 61820, IL, USA · Division of Computational Health Sciences, Department of Surgery, University of Minnesota, 516 Delaware St SE, Minneapolis, 55455, MN, USA

  29. Neurosymbolic Reasoning with Incremental Knowledge for Sample Efficient Hierarchical Reinforcement Learning

    Aug 4, 2026Subrat Prasad Panda, Blaise Genest, Arvind EaswaranReinforcement LearningSymbolic Planning

    CCDS, NTU Singapore · IPAL, CNRS, France

  30. Gram-Space: Structure-Preserving Codebook Compression for Memory-Efficient Neuro-Symbolic AI

    Aug 2, 2026Weilun Wang, Wantong LiMemory-Efficient InferenceVector Symbolic Architectures

    University of California, Riverside