English
Related papers

Related papers: The DeepLog Neurosymbolic Machine

200 papers

Neurosymbolic learning can use symbolic rules to provide supervision for latent concepts from weak labels, but it commonly assumes that the entities referenced by these rules are already specified. Object-centric models decompose images…

Computer Vision and Pattern Recognition · Computer Science 2026-05-18 Stefano Colamonaco , David Debot , Giuseppe Marra

Neurosymbolic programs combine deep learning with symbolic reasoning to achieve better data efficiency, interpretability, and generalizability compared to standalone deep learning approaches. However, existing neurosymbolic learning…

Programming Languages · Computer Science 2025-10-01 Paul Biberstein , Ziyang Li , Joseph Devietti , Mayur Naik

Over the last decades, deep neural networks based-models became the dominant paradigm in machine learning. Further, the use of artificial neural networks in symbolic learning has been seen as increasingly relevant recently. To study the…

Machine Learning · Computer Science 2025-06-03 João Flach , Alvaro F. Moreira , Luis C. Lamb

The goal of neuro-symbolic AI is to integrate symbolic and subsymbolic AI approaches, to overcome the limitations of either. Prominent systems include Logic Tensor Networks (LTN) or DeepProbLog, which offer neural predicates and end-to-end…

Artificial Intelligence · Computer Science 2025-06-18 Stephen Roth , Lennart Baur , Derian Boer , Stefan Kramer

To create usable and deployable Artificial Intelligence (AI) systems, there requires a level of assurance in performance under many different conditions. Many times, deployed machine learning systems will require more classic logic and…

Artificial Intelligence · Computer Science 2025-02-14 Luke E. Richards , Jessie Yaros , Jasen Babcock , Coung Ly , Robin Cosbey , Timothy Doster , Cynthia Matuszek

We introduce Natlog, a lightweight Logic Programming language, sharing Prolog's unification-driven execution model, but with a simplified syntax and semantics. Our proof-of-concept Natlog implementation is tightly embedded in the…

Programming Languages · Computer Science 2021-09-20 Paul Tarau

Background: Neuro-symbolic methods enhance the reliability of neural network classifiers through logical constraints, but they lack native support for ontologies. Objectives: We aim to develop a neuro-symbolic method that reliably outputs…

Artificial Intelligence · Computer Science 2026-01-22 Nicolas Lazzari , Valentina Presutti , Antonio Vergari

We propose the Neural Logic Machine (NLM), a neural-symbolic architecture for both inductive learning and logic reasoning. NLMs exploit the power of both neural networks---as function approximators, and logic programming---as a symbolic…

Artificial Intelligence · Computer Science 2019-04-29 Honghua Dong , Jiayuan Mao , Tian Lin , Chong Wang , Lihong Li , Denny Zhou

Neuro-symbolic AI systems integrate neural perception with symbolic reasoning to enable data-efficient, interpretable, and robust intelligence beyond purely neural models. Although this compositional paradigm has shown superior performance…

Artificial Intelligence · Computer Science 2026-01-29 Zishen Wan , Che-Kai Liu , Jiayi Qian , Hanchen Yang , Arijit Raychowdhury , Tushar Krishna

Neurosymbolic learning enables the integration of symbolic reasoning with deep learning but faces significant challenges in scaling to complex symbolic programs, large datasets, or both. We introduce DOLPHIN, a framework that tackles these…

Machine Learning · Computer Science 2026-01-01 Aaditya Naik , Jason Liu , Claire Wang , Amish Sethi , Saikat Dutta , Mayur Naik , Eric Wong

Neurosymbolic AI is an increasingly active area of research that combines symbolic reasoning methods with deep learning to leverage their complementary benefits. As knowledge graphs are becoming a popular way to represent heterogeneous and…

Artificial Intelligence · Computer Science 2025-01-13 Lauren Nicole DeLong , Ramon Fernández Mir , Jacques D. Fleuriot

Neurosymbolic artificial intelligence (AI) systems combine neural network and classical symbolic AI mechanisms to exploit the complementary strengths of large scale, generalizable learning and robust, verifiable reasoning. Numerous…

Artificial Intelligence · Computer Science 2025-07-15 Aniruddha Chattopadhyay , Raj Dandekar , Kaushik Roy

Current advances in Artificial Intelligence (AI) and Machine Learning (ML) have achieved unprecedented impact across research communities and industry. Nevertheless, concerns about trust, safety, interpretability and accountability of AI…

Artificial Intelligence · Computer Science 2020-12-18 Artur d'Avila Garcez , Luis C. Lamb

Deep learning has become the dominant approach for creating high capacity, scalable models across diverse data modalities. However, because these models rely on a large number of learned parameters, tightly couple feature extraction with…

Artificial Intelligence · Computer Science 2026-05-12 Adam Gould , Francesca Toni

Representation is a core issue in artificial intelligence. Humans use discrete language to communicate and learn from each other, while machines use continuous features (like vector, matrix, or tensor in deep neural networks) to represent…

Computer Vision and Pattern Recognition · Computer Science 2022-01-17 Yuqi Wang , Xu-Yao Zhang , Cheng-Lin Liu , Zhaoxiang Zhang

Despite the practical success of Artificial Intelligence (AI), current neural AI algorithms face two significant issues. First, the decisions made by neural architectures are often prone to bias and brittleness. Second, when a chain of…

Artificial Intelligence · Computer Science 2024-10-21 Sushmita Paul , Jinqiang Yu , Jip J. Dekker , Alexey Ignatiev , Peter J. Stuckey

Neuro-symbolic artificial intelligence (NSAI) represents a transformative approach in artificial intelligence (AI) by combining deep learning's ability to handle large-scale and unstructured data with the structured reasoning of symbolic…

Artificial Intelligence · Computer Science 2025-02-18 Oualid Bougzime , Samir Jabbar , Christophe Cruz , Frédéric Demoly

Neuro-symbolic AI is an effective method for improving the overall performance of AI models by combining the advantages of neural networks and symbolic learning. However, there are differences between the two in terms of how they process…

Artificial Intelligence · Computer Science 2024-11-08 Xin Zhang , Victor S. Sheng

Large Language Models (LLMs) have rapidly transformed the landscape of artificial intelligence, enabling natural language interfaces and dynamic orchestration of software components. However, their reliance on probabilistic inference limits…

Machine Learning · Computer Science 2025-07-01 Claudionor Coelho , Yanen Li , Philip Tee

Resolving complex information needs that come with multiple constraints should consider enforcing the logical operators encoded in the query (i.e., conjunction, disjunction, negation) on the candidate answer set. Current retrieval systems…

Information Retrieval · Computer Science 2026-02-02 Mohanna Hoveyda , Jelle Piepenbrock , Arjen P de Vries , Maarten de Rijke , Faegheh Hasibi