English
Related papers

Related papers: A Novel Neural-symbolic System under Statistical R…

200 papers

When neural networks are used to solve differential equations, they usually produce solutions in the form of black-box functions that are not directly mathematically interpretable. We introduce a method for generating symbolic expressions…

Machine Learning · Computer Science 2020-11-05 Maysum Panju , Ali Ghodsi

Artificial neural networks (ANNs) have shown to be amongst the most important artificial intelligence (AI) techniques in educational applications, providing adaptive educational services. However, their educational potential is limited in…

Artificial Intelligence · Computer Science 2025-04-01 Danial Hooshyar , Roger Azevedo , Yeongwook Yang

Deep Learning (DL) techniques have achieved remarkable successes in recent years. However, their ability to generalize and execute reasoning tasks remains a challenge. A potential solution to this issue is Neuro-Symbolic Integration (NeSy),…

Machine Learning · Computer Science 2024-07-16 Alessandro Daniele , Tommaso Campari , Sagar Malhotra , Luciano Serafini

The Symbolic Regression (SR) problem, where the goal is to find a regression function that does not have a pre-specified form but is any function that can be composed of a list of operators, is a hard problem in machine learning, both…

Machine Learning · Computer Science 2020-06-15 Vernon Austel , Cristina Cornelio , Sanjeeb Dash , Joao Goncalves , Lior Horesh , Tyler Josephson , Nimrod Megiddo

As artificial intelligence (AI) systems advance, we move towards broad AI: systems capable of performing well on diverse tasks, understanding context, and adapting rapidly to new scenarios. A central challenge for broad AI systems is to…

Machine Learning · Computer Science 2024-10-10 Marius-Constantin Dinu

In the ongoing quest for hybridizing discrete reasoning with neural nets, there is an increasing interest in neural architectures that can learn how to solve discrete reasoning or optimization problems from natural inputs, a task that Large…

Artificial Intelligence · Computer Science 2025-12-19 Marianne Defresne , Romain Gambardella , Sophie Barbe , Thomas Schiex

Despite significant progress in natural language understanding, Large Language Models (LLMs) remain error-prone when performing logical reasoning, often lacking the robust mental representations that enable human-like comprehension. We…

Artificial Intelligence · Computer Science 2025-09-05 François Olivier , Zied Bouraoui

Neurosymbolic AI focuses on integrating learning and reasoning, in particular, on unifying logical and neural representations. Despite the existence of an alphabet soup of neurosymbolic AI systems, the field is lacking a generally accepted…

Artificial Intelligence · Computer Science 2025-07-16 Lennert De Smet , Luc De Raedt

Symbolic regression (SR) is a powerful technique for discovering the underlying mathematical expressions from observed data. Inspired by the success of deep learning, recent deep generative SR methods have shown promising results. However,…

Machine Learning · Computer Science 2024-06-04 Wenqiang Li , Weijun Li , Lina Yu , Min Wu , Linjun Sun , Jingyi Liu , Yanjie Li , Shu Wei , Yusong Deng , Meilan Hao

The high-energy physics community is investigating the potential of deploying machine-learning-based solutions on Field-Programmable Gate Arrays (FPGAs) to enhance physics sensitivity while still meeting data processing time constraints. In…

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable…

Machine Learning · Computer Science 2021-03-02 Muhammad Usman , Yannic Noller , Corina Pasareanu , Youcheng Sun , Divya Gopinath

Harnessing the statistical power of neural networks to perform language understanding and symbolic reasoning is difficult, when it requires executing efficient discrete operations against a large knowledge-base. In this work, we introduce a…

Computation and Language · Computer Science 2017-04-25 Chen Liang , Jonathan Berant , Quoc Le , Kenneth D. Forbus , Ni Lao

Artificial Intelligence agents are required to learn from their surroundings and to reason about the knowledge that has been learned in order to make decisions. While state-of-the-art learning from data typically uses sub-symbolic…

Artificial Intelligence · Computer Science 2021-12-24 Samy Badreddine , Artur d'Avila Garcez , Luciano Serafini , Michael Spranger

The notion of equality (identity) is simple and ubiquitous, making it a key case study for broader questions about the representations supporting abstract relational reasoning. Previous work suggested that neural networks were not suitable…

Machine Learning · Computer Science 2022-05-03 Atticus Geiger , Alexandra Carstensen , Michael C. Frank , Christopher Potts

Computational models of pragmatic language use have traditionally relied on hand-specified sets of utterances and meanings, limiting their applicability to real-world language use. We propose a neuro-symbolic framework that enhances…

Computation and Language · Computer Science 2025-06-03 Polina Tsvilodub , Robert D. Hawkins , Michael Franke

The growing use of artificial intelligence (AI) in education, particularly large language models (LLMs), has increased interest in intelligent tutoring systems. However, LLMs often show limited adaptivity and struggle to model learners'…

Deep learning provides a promising way to extract effective representations from raw data in an end-to-end fashion and has proven its effectiveness in various domains such as computer vision, natural language processing, etc. However, in…

Machine Learning · Computer Science 2021-07-06 Hui Li , Xing Fu , Ruofan Wu , Jinyu Xu , Kai Xiao , Xiaofu Chang , Weiqiang Wang , Shuai Chen , Leilei Shi , Tao Xiong , Yuan Qi

We propose a fully spectral, neuro\-symbolic reasoning architecture that leverages Graph Signal Processing (GSP) as the primary computational backbone for integrating symbolic logic and neural inference. Unlike conventional reasoning models…

Artificial Intelligence · Computer Science 2025-08-22 Andrew Kiruluta

Neural network language models (NNLMs) have achieved ever-improving accuracy due to more sophisticated architectures and increasing amounts of training data. However, the inductive bias of these models (formed by the distributional…

Machine Learning · Computer Science 2019-12-12 David Demeter , Doug Downey

Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with differentiable operators from…

Artificial Intelligence · Computer Science 2021-12-08 Prithviraj Sen , Breno W. S. R. de Carvalho , Ryan Riegel , Alexander Gray