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. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

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

    Jul 23, 2026Bartolomeo BoglioloLogic ProgrammingLLM Reliability

  9. 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

  10. 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

  11. 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

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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.

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

    Jul 12, 2026Zoran MajkicProbabilistic LogicLogical Reasoning

    ISRST, Tallahassee, FL, USA

  18. 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

  19. 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

  20. 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

  21. 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

  22. 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

  23. 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

  24. 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

  25. 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

  26. 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

  27. 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

  28. 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

  29. 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.

  30. 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