English
Related papers

Related papers: Extending Logical Neural Networks using First-Orde…

200 papers

The community is increasingly exploring linear RNNs (LRNNs) as language models, motivated by their expressive power and parallelizability. While prior work establishes the expressivity benefits of LRNNs over transformers, it is unclear what…

Machine Learning · Computer Science 2026-03-06 William Merrill , Hongjian Jiang , Yanhong Li , Anthony Lin , Ashish Sabharwal

With the increasing capabilities of Large Language Models (LLMs), parallel reasoning has emerged as a new inference paradigm that enhances reasoning robustness by concurrently exploring multiple lines of thought before converging on a final…

Computation and Language · Computer Science 2025-10-15 Ziqi Wang , Boye Niu , Zipeng Gao , Zhi Zheng , Tong Xu , Linghui Meng , Zhongli Li , Jing Liu , Yilong Chen , Chen Zhu , Hua Wu , Haifeng Wang , Enhong Chen

Large language models (LLMs) have proven to be highly effective for solving complex reasoning tasks. Surprisingly, their capabilities can often be improved by iterating on previously generated solutions. In this context, a reasoning plan…

Artificial Intelligence · Computer Science 2025-12-05 MohammadHossein Bateni , Vincent Cohen-Addad , Yuzhou Gu , Silvio Lattanzi , Simon Meierhans , Christopher Mohri

A long standing open problem in the theory of neural networks is the development of quantitative methods to estimate and compare the capabilities of different architectures. Here we define the capacity of an architecture by the binary…

Machine Learning · Computer Science 2019-03-29 Pierre Baldi , Roman Vershynin

Because of the pervasive usage of Neural Networks in human sensitive applications, their interpretability is becoming an increasingly important topic in machine learning. In this work we introduce a simple way to interpret the output…

Machine Learning · Computer Science 2021-02-08 Stefano Zamuner , Paolo De Los Rios

Explainable artificial intelligence has rapidly emerged since lawmakers have started requiring interpretable models for safety-critical domains. Concept-based neural networks have arisen as explainable-by-design methods as they leverage…

Artificial Intelligence · Computer Science 2023-09-28 Pietro Barbiero , Gabriele Ciravegna , Francesco Giannini , Pietro Lió , Marco Gori , Stefano Melacci

This paper studies the approximation capabilities of neural networks that combine layer normalization (LN) with linear layers. We prove that networks consisting of two linear layers with parallel layer normalizations (PLNs) inserted between…

Machine Learning · Computer Science 2026-02-10 Yunhao Ni , Yuxin Guo , Yuhe Liu , Wenxin Sun , Jie Luo , Wenjun Wu , Lei Huang

Large Language Models (LLMs) have demonstrated impressive capabilities in structured reasoning and symbolic tasks, with coding emerging as a particularly successful application. This progress has naturally motivated efforts to extend these…

Artificial Intelligence · Computer Science 2026-02-02 Andrea Asperti , Alberto Naibo , Claudio Sacerdoti Coen

Language models (LMs) are said to be exhibiting reasoning, but what does this entail? We assess definitions of reasoning and how key papers in the field of natural language processing (NLP) use the notion and argue that the definitions…

Computation and Language · Computer Science 2025-11-18 Bertram Højer

Semantic Image Interpretation (SII) is the task of extracting structured semantic descriptions from images. It is widely agreed that the combined use of visual data and background knowledge is of great importance for SII. Recently,…

Artificial Intelligence · Computer Science 2017-05-26 Ivan Donadello , Luciano Serafini , Artur d'Avila Garcez

We report a series of robust empirical observations, demonstrating that deep Neural Networks learn the examples in both the training and test sets in a similar order. This phenomenon is observed in all the commonly used benchmarks we…

Machine Learning · Computer Science 2023-12-29 Guy Hacohen , Leshem Choshen , Daphna Weinshall

An exhaustive study on neural network language modeling (NNLM) is performed in this paper. Different architectures of basic neural network language models are described and examined. A number of different improvements over basic neural…

Computation and Language · Computer Science 2017-08-25 Dengliang Shi

With computers to handle more and more complicated things in variable environments, it becomes an urgent requirement that the artificial intelligence has the ability of automatic judging and deciding according to numerous specific…

Neural and Evolutionary Computing · Computer Science 2017-08-03 Gang Wang

Deep Learning using the eponymous deep neural networks (DNNs) has become an attractive approach towards various data-based problems of theoretical physics in the past decade. There has been a clear trend to deeper architectures containing…

Machine Learning · Computer Science 2021-06-30 Bastian Kaspschak , Ulf-G. Meißner

We describe a new class of learning models called memory networks. Memory networks reason with inference components combined with a long-term memory component; they learn how to use these jointly. The long-term memory can be read and…

Artificial Intelligence · Computer Science 2015-12-01 Jason Weston , Sumit Chopra , Antoine Bordes

A central goal of cognitive science is to provide a computationally explicit account of both the structure of the mind and its development: what are the primitive representational building blocks of cognition, what are the rules via which…

Artificial Intelligence · Computer Science 2025-07-08 Alyssa Loo , Ellie Pavlick , Roman Feiman

Modular logic programs provide a way of viewing logic programs as consisting of many independent, meaningful modules. This paper introduces first-order modular logic programs, which can capture the meaning of many answer set programs. We…

Logic in Computer Science · Computer Science 2017-02-21 Amelia Harrison , Yuliya Lierler

Providing explanations for the outputs of artificial neural networks (ANNs) is crucial in many contexts, such as critical systems, data protection laws and handling adversarial examples. Logic-based methods can offer explanations with…

Logic in Computer Science · Computer Science 2025-05-27 Levi Cordeiro Carvalho , Saulo A. F. Oliveira , Thiago Alves Rocha

Linear recurrent neural networks (LRNNs) provide a structured approach to sequence modeling that bridges classical linear dynamical systems and modern deep learning, offering both expressive power and theoretical guarantees on stability and…

Tensor networks (TNs) and neural networks (NNs) are two fundamental data modeling approaches. TNs were introduced to solve the curse of dimensionality in large-scale tensors by converting an exponential number of dimensions to polynomial…

Machine Learning · Computer Science 2025-03-18 Maolin Wang , Yu Pan , Zenglin Xu , Guangxi Li , Xiangli Yang , Danilo Mandic , Andrzej Cichocki