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

  31. A Neurosymbolic Approach for Explainable Early Diagnosis of Alzheimer's Disease

    Jul 31, 2026Ranveer Singh, Pranuthi Tenali, Saurabh Mathur +6Alzheimer's DiseaseInterpretable ML

    The University of Texas at Dallas, Richardson, TX · TU Darmstadt, Germany · Swarthmore College, PA +1

  32. NeSyFS: A Neuro-symbolic Fast-Slow Thinking Framework for LLM Agent under Partial Observability

    Jul 31, 2026Duo Xu, Faramarz FekriBelief-Space PlanningLLM Agents

    Georgia Institute of Technology 225 North Ave NW, Atlanta, GA 30332

  33. A Fuzzy Rule-based Neuro-Symbolic Approach for Pipe Severity Prediction in Sewer Networks

    Jul 30, 2026Ngoc Thai Le, Thanh Ma, Umberto StracciaFuzzy LogicNeuro-Symbolic Reasoning

    Can Tho University, Can Tho, Vietnam · Istituto di Scienza e Tecnologie dell’Informazione, CNR - ISTI, Pisa, Italy

  34. Distilling Answer Set Programming Theories from Large Language Models

    Jul 30, 2026Nelson Higuera Ruiz, Markus Hofmarcher, Claudiu Leoveanu-CondreiLogic ProgrammingLLM-Based Program Synthesis

    ExtensityAI, Vienna, Austria

  35. From Pixels to PCells: A Neurosymbolic Approach to Photonic Component Creation

    Jul 29, 2026Aadarsh Agarwal, Kenaish Al Qubaisi, Dirk EnglundLLM-Based Program SynthesisProgram Synthesis

    Research Laboratory of Electronics, Massachusetts Institute of Technology, Cambridge, Massachusetts 02139, USA

  36. SymStep: Symbolic Step Verification for Logical Reasoning

    Jul 25, 2026Aida Usmanova, Rui Gao, Dilshod Azizov +2Symbolic ReasoningStructured Reasoning

    Leuphana University of Lüneburg · Mohamed bin Zayed University of Artificial Intelligence

  37. Reason Popper-ly: Patching In-Context Reasoning with Inductive Logic Programming

    Jul 25, 2026Zirong Chen, Meiyi MaLogic ProgrammingReasoning Consistency in Language Models

    Department of Computer Science, Vanderbilt University, USA

  38. Euclid-MCP: A Model Context Protocol Server for Deterministic Logical Reasoning via Prolog

    Jul 23, 2026Bartolomeo BoglioloLogic ProgrammingLLM Reliability

  39. Differentiable Logic Programming to Mitigate Reasoning Shortcuts in Neurosymbolic Systems

    Jul 23, 2026Akihiro Takemura, Katsumi InoueDifferentiable ProgrammingNeuro-Symbolic Reasoning

    National Institute of Informatics, Tokyo, Japan

  40. SoftReason: A Fully Differentiable Neuro-Soft-Symbolic Deductive Reasoning Architecture over High-Dimensional Perceptual Data

    Jul 22, 2026Wael AbdAlmageedVisually Grounded ReasoningNeuro-Symbolic Reasoning

    Holcombe Department of Electrical and Computer Engineering, Clemson University

  41. Neuro-Symbolic Meta-Policies for Temporal Knowledge-Graph Memory under Partial Observability

    Jul 20, 2026Taewoon Kim, Vincent François-Lavet, Michael CochezReinforcement LearningPartially Observable RL

    HumemAI, The Netherlands · Vrije Universiteit Amsterdam, The Netherlands · ELLIS Institute Finland & Abo Akademi University, Finland

  42. Constraint-Anchored Reasoning Traces

    Jul 18, 2026Zehua Cheng, Wei Dai, Jiahao SunVisual Question AnsweringLLM Grounding

    Department of Computer Science University of Oxford United Kingdom · FLock.io United Kingdom

  43. NeurOWL: An LLM-Based Neural-symbolic Framework for Incomplete OWL Ontology Reasoning

    Jul 17, 2026Hui Yang, Jiaoyan Chen, Yiping Song +2Logical ReasoningAbductive Reasoning

    The University of Manchester · Zhejiang University

  44. CoTu at EXACT 2026: Neuro-Symbolic Reasoning for Transparent Educational QA

    Jul 16, 2026Quoc-Khang Tran, Minh-Thien Nguyen, Phu-An Thai +3Explainable Artificial IntelligenceLLM-Based Program Synthesis

    Can Tho University, Can Tho city, Vietnam · Tay Do University, Can Tho city, Vietnam

  45. MaxSAT-Based Feedback for Guiding Vision-Language Models in Sudoku

    Jul 14, 2026Pedro Orvalho, Guillem Alenyà, Felip ManyàVision-Language ModelsVLM Reasoning

    Artificial Intelligence Research Institute (IIIA), Consejo Superior de Investigaciones Científicas (CSIC), Barcelona, Catalonia, Spain · Institut de Robòtica i Informàtica Industrial (IRI-CSIC-UPC), Barcelona, Spain

  46. AutoVSR: Automatic Visual-to-Symbolic Reasoning for Symbolic Expression Generation from Circuit Schematic

    Jul 13, 2026Zhe Xiao, Longfei Li, Xu He +3Electronic Design AutomationVLM Reasoning

    Hunan University, Changsha, China · Wuhan University of Technology, Wuhan, China · Huazhong University of Science and Technology, Wuhan, China.

  47. Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL

    Jul 12, 2026Zoran MajkicProbabilistic LogicLogical Reasoning

    ISRST, Tallahassee, FL, USA

  48. A Symbolic Neural CPU for Quantization-Simulated Writeback and Interpretable Program Execution

    Jul 10, 2026Jose Luis Lima de Jesus SilvaNeural Algorithmic ReasoningNeural Network Interpretability

    Federal University of Bahia, Department of Geophysics, Salvador, BA 40170-115, Brazil · Grupo de Estudos e Aplicação de Inteligência Artificial em Geofísica (GAIA), Federal University of Bahia, Salvador, BA 40170-115, Brazil

  49. Answer Set Programming Energised! End-to-End Neurosymbolic Reasoning and Learning with ASP and Energy Based Models

    Jul 9, 2026Jakob Suchan, Julius Monsen, Salim Baloch +1Energy-Based ModelsAnswer Set Programming

    Constructor University Bremen, Bremen, Germany · CoDesign Lab > Cognitive Vision · Örebro University, Örebro, Sweden

  50. EvoPlan: Evolutionary Neuro-Symbolic Robot Planning with Spatio-Temporal Guarantees

    Jul 7, 2026Bhavya Sai Nukapotula, Samin Moosavi, Haoze Wang +4Constrained Motion PlanningLarge Language Model-Based Robot Planning

    Texas A&M University · Westwood High School

  51. ClassicLogic: A Knowledge-Driven Benchmark of Classic Puzzle Games for Evaluating Compositional Generalization

    Jul 6, 2026Mahnoor Shahid, Hannes RotheLogical ReasoningBenchmark Design

    Universität Duisburg-Essen Germany

  52. Forethought: Verifiable Reasoning from Neurosymbolic Primitive Programming

    Jul 5, 2026Vishvesh Bhat, Jay Vaghasiya, Emmanuel Anaya GonzalezSymbolic ReasoningEfficient Language Model Reasoning

    CoreThink AI · UC San Diego

  53. NeSy-CSA: A Neuro-Symbolic Framework for Open-Ended Critical Scenario Attribution

    Jul 4, 2026Qitong Chu, Xunjie He, Chen Deng +2Feature AttributionNeuro-Symbolic Reasoning

    School of Automation, Beijing Institute of Technology, Beijing 100081, China · Department of Automation, Tsinghua University, Beijing 100084, China

  54. G-RRM: Guiding Symbolic Solvers with Recurrent Reasoning Models

    Jul 2, 2026Timo Bertram, Sidhant Bhavnani, Richard Freinschlag +3Symbolic ReasoningNeuro-Symbolic Reasoning

    ELLIS Unit Linz, LIT AI Lab & Institute for Machine Learning, Johannes Kepler University Linz, Austria · Institute for Symbolic Artificial Intelligence, Johannes Kepler University Linz, Austria · Clinical Research Institute for Medical AI, Johannes Kepler University Linz, Austria

  55. NEUROSYMLAND: Neuro-Symbolic Landing-Site Assessment for Robust and Edge-Deployable UAV Autonomy

    Jul 2, 2026Weixian Qian, Tianyi Yang, Sebastian Schroder +5Aerial RoboticsNeuro-Symbolic Reasoning

    School of Computing, Macquarie University, Sydney, NSW, Australia. · Department of Computer Science, University of California, Santa Barbara, CA, USA. · Anitron

  56. Graph-Native Reinforcement Learning Enables Traceable Scientific Hypothesis Generation through Conceptual Recombination

    Jul 1, 2026Subhadeep Pal, Shashwat Sourav, Tirthankar Ghosal +1LLM Reasoning with GraphsRL for Language Model Reasoning

    Department of Civil and Environmental Engineering MASSACHUSETTS INSTITUTE OF TECHNOLOGY Cambridge, MA, USA · Department of Physics Washington University in St. Louis St. Louis, MO, USA · Computing and Computational Sciences Directorate Oak Ridge National Laboratory Oak Ridge, TN, USA +3

  57. PolicyGuard: From Organizational Policies to Neuro-SymbolicCompliance Review Engines

    Jun 30, 2026Sameer Malik, Ayush Singh, Amar Prakash AzadLegal Document AnalysisNeuro-Symbolic Reasoning

    1Fujitsu Research India Private Limited, Bengaluru, India

  58. Verifiable Geometry Problem Solving: Solver-Driven Autoformalization and Theorem Proposing

    Jun 26, 2026Can Li, Ting Zhang, Junbo Zhao +1Automated Theorem ProvingMultimodal Reasoning

    Beijing Normal University

  59. Data-driven Machine Learning Cannot Reach Symbolic-level Logical Reasoning -- The Limit of the Scaling Law

    Jun 24, 2026Tiansi Dong, Mateja Jamnik, Pietro LiòLogical ReasoningSymbolic Reasoning

    The Alan Turing Institute, 96 Euston Road, London, NW1 2DB, UK. · Department of Computer Science and Technology, University of Cambridge, 15 JJ Thomson Ave., Cambridge, CB3 0FD, UK.

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

    Jun 22, 2026Xiangbo Gao, Xiukun Huang, Boyu Lu +5VLMs for Autonomous DrivingNeuro-Symbolic Reasoning

    1Texas A&M University · 2Carnegie Mellon University · University of Maryland +2