Neuro-Symbolic AI

Follow this topic Ask about this topic

Momentum

5 papers in the last four weeks, level with the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28

Latest papers 66

All topics

First-Order Temporal Logic Tensor Networks
Jun 29, 2026Luca Boscarato, Ivan Donadello, Alessandro Artale +2Tensor Networks Neuro-Symbolic AI
Free University of Bozen-Bolzano
The CRISTAL Method: Neurosymbolic analysis from AI-synthesized world models
Jun 29, 2026Rafael Kaufmann, Felix Neubürger, Michael Walters +2Neuro-Symbolic AI Probabilistic Programming
GAIA Lab. · Primordia Co.. · South Westphalia University of Applied Sciences, Lindenstr 53, Meschede, 59872, Germany. +1
A homotopy-type-theoretic generalization of neurosymbolic inference
Jun 16, 2026Fernando Zhapa-Camacho, Robert HoehndorfSymbolic Reasoning Neuro-Symbolic Reasoning
Computer, Electrical and Mathematical Sciences & Engineering Division, King Abdullah University of Science and Technology, 4700 KAUST, 23955, Thuwal, Saudi Arabia · KAUST Center of Excellence for Smart Health (KCSH) · KAUST Center of Excellence for Generative AI
Neuro-Symbolic Agents for Regulated Process Automation: Challenges and Research Agenda
Jun 11, 2026Alexander Rombach, Chantale Lauer, Nijat MehdiyevAI Assurance Business Process Automation
German Research Center for Artificial Intelligence (DFKI), Campus D3 2, 66123 Saarbrücken, Germany · Saarland University, Campus D3 2, 66123 Saarbrücken, Germany
IVIE: A Neuro-symbolic Approach to Incremental and Validated Generation of Interactive Fiction Worlds
Jun 11, 2026Micaela Vaucher, Santiago Silveira, Santiago Góngora +1Computational Creativity Procedural Content Generation
Bounding Boxes as Goals: Language-Conditioned Grasping via Neuro-Symbolic Planning
Jun 11, 2026Allison Andreyev, Landon Eum, Nestor Tiglao +1Robotic Grasping Zero-Shot Robotic Manipulation
University of Maryland, Cyber-Physical Systems Engineering
Accelerating NeurASP with vectorization and caching
Jun 9, 2026Alexander Philipp Rader, Alessandra RussoAnswer Set Programming Neuro-Symbolic Reasoning
Imperial College London
Agentic Neuro-Symbolic Planning and Commissioning for Human-in-the-Loop Industrial Robotics with Digital Twins
Jun 6, 2026Zhihao Liu, Victor Nan Fernandez-Ayala, Tianyu Wang +4Large Language Model-Based Robot Planning Human-in-the-Loop AI
Neuro-Symbolic Learning for Long-Horizon Task Planning Under Complex Logical Constraints
Jun 5, 2026Qiwei Du, Zitong Zhan, Shaoshu Su +7Symbolic Planning Robot Task Planning
Spatial AI & Robotics (SAIR) Lab, University at Buffalo, NY 14260 · Robotics Institute, Carnegie Mellon University, PA 15213
PandaAI: A Practical Agent CQ2 for Neuro-symbolic Data Analysis And Integrated Decision-Making in Quantitative Finance
Jun 5, 2026Yuqi Li, Siyuan Liu, Bingjun LiuQuantitative Finance LLM Decision-Making
Panda AI
Domain-Adapted Small Language Models with Hybrid Post-Processing: Achieving Cost-Efficient, Low-Latency Multi-Label Structured Prediction via LoRA Fine-Tuning on Scarce Data
Jun 4, 2026Srinivasan Manoharan, Dilipkumar Nallusamy, Sachin Kumar +1Multi-Label Classification Small Language Models
PayPal Inc San Jose, USA · PayPal Inc Chennai, India · PayPal Inc Bangalore, India
PhyDrawGen: Physically Grounded Diagram Generation from Natural Language
May 28, 2026Nafiul Haque, Syed Nazmus Sakib, Shifat E ArmanPhysical Reasoning T2I Generation
Department of Robotics and Mechatronics Engineering, University of Dhaka
Think Fast, Talk Smart: Partitioning Deterministic and Neural Computation for Structured Health Text Generation
May 28, 2026Kai-Chen Cheng, Haejun Han, David Q. SunHealthcare Neuro-Symbolic AI
Better Later Than Sooner: Neuro-Symbolic Knowledge Graph Construction via Ontology-grounded Post-extraction Correction
May 27, 2026Lorenzo Loconte, Timothy Hospedales, Cristina CornelioKG Construction Neuro-Symbolic AI
University of Edinburgh, UK · Samsung AI Center, Cambridge, UK
Reliable Extraction of Clinical Follow-Up Instructions: A Hybrid Neural-Symbolic Pipeline
May 26, 2026Michal Laufer, Yehudit Aperstein, Alexander ApartsinRelation Extraction Healthcare
1Bar-Ilan University, Ramat Gan, Israel · 2Afeka College of Engineering, Tel Aviv, Israel · 3Holon Institute of Technology, Holon, Israel
NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
May 20, 2026Paapa Kwesi Quansah, Ernest BonnahFormal Verification Neuro-Symbolic AI
Baylor University, Waco TX 76706, USA
ReacTOD: Bounded Neuro-Symbolic Agentic NLU for Zero-Shot Dialogue State Tracking
May 18, 2026Yanjun Lin, Zimo Xiao, Kartik Natarajan +7Spoken Dialogue Systems LLM Agents
Amazon
FOL2NS: Generating Natural Sentences from First-Order Logic
May 18, 2026Mei JiaSynthetic Data Generation for Language Models Neuro-Symbolic AI
University of Manchester
DeepLog: A Software Framework for Modular Neurosymbolic AI
May 11, 2026Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen +4Neuro-Symbolic AI Neurosymbolic Learning
Department of Computer Science and Leuven.AI KU Leuven, Belgium
Position: Avoid Overstretching LLMs for every Enterprise Task
May 10, 2026Kuldeep Singh, Anson Bastos, Isaiah Onando Mulang'Language Modeling Neuro-Symbolic AI
Microsoft, India · SAP, Germany
Melding LLM and temporal logic for reliable human-swarm collaboration in complex scenarios
May 8, 2026Junfeng Chen, Yuxiao Zhu, An Zhuo +6Swarm Robotics Large Language Model-Based Robot Planning
School of Advanced Manufacturing and Robotics, Peking University, Beĳing & 100871, China. · 2Division of Natural and Applied Sciences, Duke Kunshan University, Suzhou & 215316, China. · School of Automaton, Southeast University, Nanjing & 210096, China. +1
PrefixGuard: Online Failure Warning and Trace-Grounded Diagnosis for LLM Agents
May 7, 2026Xinmiao Huang, Jinwei Hu, Qisong He +4Fault Detection AI Agent Monitoring
University of Liverpool · Université Grenoble Alpes
Gyan: An Explainable Neuro-Symbolic Language Model
May 6, 2026Venkat Srinivasan, Vishaal Jatav, Anushka Chandrababu +1LLM Interpretability Knowledge Representation
Innospark Ventures & Gyan AI · Gyan AI Inc.
A Hybrid Method for Low-Resource Named Entity Recognition
May 6, 2026Do Minh Duc, Quan Xuan Truong, Viet Tran Hong +5Named Entity Recognition Neuro-Symbolic AI
Vietnam National University, Hanoi · Center for Biodiversity Monitoring and Investigation · Hanoi University of Science and Technology
ANNEAL: Adapting LLM Agents via Governed Symbolic Patch Learning
May 4, 2026Safayat Bin Hakim, Keyan Guo, Wenkai Tan +3LLM Agent Self-Improvement AI Agent Governance
University of Maryland, Baltimore County · University at Buffalo · University of Colorado Boulder +1
NEURON: A Neuro-symbolic System for Grounded Clinical Explainability
May 2, 2026Anuradha Chandrasekaran, Dimitrios Zikos, Mutlu Mete +3Explainable Artificial Intelligence Clinical Outcome Prediction
University of North Texas, USA and Texas Tech University Health Sciences Center, USA · Texas Tech University Health Sciences Center, USA · University of North Texas, USA
AGEL-Comp: A Neuro-Symbolic Framework for Compositional Generalization in Interactive Agents
Apr 29, 2026Mahnoor Shahid, Hannes RotheNeuro-Symbolic AI Inductive Logic Programming
Universität Duisburg-Essen, Essen, Germany
CoGReV: A Confidence-Gated Post-Hoc Non-Monotonic Belief Revision Framework for Phishing Website Classification
Apr 28, 2026Mainak Sen, Kumar Sankar Ray, Amlan ChakrabartiLogical Reasoning Cybersecurity
Techno India University, West Bengal, India · A. K. Choudhury School of Information Technology, University of Calcutta, Kolkata, India · Electronics and Communication Sciences Unit (ECSU), Indian Statistical Institute, Kolkata, India +1
CyberCane: Neuro-Symbolic RAG for Privacy-Preserving Phishing Detection with Formal Ontology Reasoning
Apr 26, 2026Safayat Bin Hakim, Aniqa Afzal, Qi Zhao +3Privacy-Preserving Language Models Neuro-Symbolic AI
University of Maryland, Baltimore County · Bowie State University
IndustryAssetEQA: A Neurosymbolic Operational Intelligence System for Embodied Question Answering in Industrial Asset Maintenance
Apr 25, 2026Chathurangi Shyalika, Dhaval Patel, Amit ShethEmbodied QA Predictive Maintenance
Artificial Intelligence Institute, University of South Carolina USA · Software Innovation Lab IBM Yorktown USA · Artificial Intelligence Institute, University of South Carolina Indian AI Research Organization

Jun 29, 2026, cs.AIJ/K move · Enter open · S save

First-Order Temporal Logic Tensor Networks

Luca Boscarato, Ivan Donadello, Alessandro Artale, Marco Montali+1

Free University of Bozen-Bolzano

Tensor Networks Neuro-Symbolic AI Temporal KGs Linear Temporal Logic

Open paper AskPDF arXiv

Most of the existing neuro-symbolic AI methods focus on the scenario of static knowledge where objects do not change according to a temporal dimension. Temporal neuro-symbolic works are still under explored and are mainly developed for time-interval logic or propositional linear temporal logic. There is a lack of models studying linear temporal logics with predicates that deal with objects whose properties and relations change through the time. We present First-Order Temporal Logic Tensor Networks (FOT-LTN) that is an extension of Logic Tensor Networks (LTN) that fills this gap by considering a linear-temporal dimension. In particular, FOT-LTN joins the syntax of First-Order Linear Temporal Logic with the fuzzy (and real-valued) semantics of LTN obtaining a framework that supports both temporal operators and quantifiers and is totally differentiable. A first evaluation regards a temporal knowledge graph completion task on two synthetic datasets showing better performance of FOT-LTN with respect to dedicated (purely neural) methods.

Momentum

Related topics

Latest papers 66