中文
相关论文

相关论文: Siamese recurrent networks learn first-order logic…

200 篇论文

Transformer architectures have achieved great success in solving natural language tasks, which learn strong language representations from large-scale unlabeled texts. In this paper, we seek to go further beyond and explore a new logical…

计算与语言 · 计算机科学 2023-02-21 Jianshu Chen

Recurrent neural networks (RNNs) are capable of learning features and long term dependencies from sequential and time-series data. The RNNs have a stack of non-linear units where at least one connection between units forms a directed cycle.…

神经与进化计算 · 计算机科学 2018-02-26 Hojjat Salehinejad , Sharan Sankar , Joseph Barfett , Errol Colak , Shahrokh Valaee

Sequence-to-sequence learning with neural networks has become the de facto standard for sequence prediction tasks. This approach typically models the local distribution over the next word with a powerful neural network that can condition on…

计算与语言 · 计算机科学 2021-11-17 Yoon Kim

Learning sentence vectors that generalise well is a challenging task. In this paper we compare three methods of learning phrase embeddings: 1) Using LSTMs, 2) using recursive nets, 3) A variant of the method 2 using the POS information of…

计算与语言 · 计算机科学 2018-05-23 Anson Bastos

We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial…

计算机科学中的逻辑 · 计算机科学 2023-02-10 Martin Svatoš , Peter Jung , Jan Tóth , Yuyi Wang , Ondřej Kuželka

Recursive neural networks (RNN) and their recently proposed extension recursive long short term memory networks (RLSTM) are models that compute representations for sentences, by recursively combining word embeddings according to an…

人工智能 · 计算机科学 2016-03-02 Phong Le , Willem Zuidema

We train neural networks to optimize a Minimum Description Length score, i.e., to balance between the complexity of the network and its accuracy at a task. We show that networks optimizing this objective function master tasks involving…

计算与语言 · 计算机科学 2022-04-01 Nur Lan , Michal Geyer , Emmanuel Chemla , Roni Katzir

Deep neural networks drive the success of natural language processing. A fundamental property of language is its compositional structure, allowing humans to systematically produce forms for new meanings. For humans, languages with more…

计算与语言 · 计算机科学 2025-01-10 Lukas Galke , Yoav Ram , Limor Raviv

Automatic evaluation of semantic rationality is an important yet challenging task, and current automatic techniques cannot well identify whether a sentence is semantically rational. The methods based on the language model do not measure the…

计算与语言 · 计算机科学 2018-09-12 Shu Liu , Jingjing Xu , Xuancheng Ren , Xu Sun

Discrete structures are currently second-class in differentiable programming. Since functions over discrete structures lack overt derivatives, differentiable programs do not differentiate through them and limit where they can be used. For…

编程语言 · 计算机科学 2025-11-20 Joey Velez-Ginorio , Nada Amin , Konrad Kording , Steve Zdancewic

Complex logical reasoning tasks require a long sequence of reasoning, which a large language model (LLM) with chain-of-thought prompting still falls short. To alleviate this issue, neurosymbolic approaches incorporate a symbolic solver.…

计算与语言 · 计算机科学 2025-07-22 Hyun Ryu , Gyeongman Kim , Hyemin S. Lee , Eunho Yang

The ability to abstract, count, and use System~2 reasoning are well-known manifestations of intelligence and understanding. In this paper, we argue, using the example of the ``Look and Say" puzzle, that although deep neural networks can…

人工智能 · 计算机科学 2022-03-22 Wlodek W. Zadrozny

We propose Logic Tensor Networks: a uniform framework for integrating automatic learning and reasoning. A logic formalism called Real Logic is defined on a first-order language whereby formulas have truth-value in the interval [0,1] and…

人工智能 · 计算机科学 2016-07-08 Luciano Serafini , Artur d'Avila Garcez

Recursive Neural Networks (RvNNs), which compose sequences according to their underlying hierarchical syntactic structure, have performed well in several natural language processing tasks compared to similar models without structural…

计算与语言 · 计算机科学 2021-06-14 Jishnu Ray Chowdhury , Cornelia Caragea

Neural networks are very powerful learning systems, but they do not readily generalize from one task to the other. This is partly due to the fact that they do not learn in a compositional way, that is, by discovering skills that are shared…

人工智能 · 计算机科学 2018-07-27 Adam Liška , Germán Kruszewski , Marco Baroni

Recurrent Neural Networks (RNNs) have been proven to be effective in modeling sequential data and they have been applied to boost a variety of tasks such as document classification, speech recognition and machine translation. Most of…

计算与语言 · 计算机科学 2018-08-21 Zhiwei Wang , Yao Ma , Dawei Yin , Jiliang Tang

Syntactic rules in natural language typically need to make reference to hierarchical sentence structure. However, the simple examples that language learners receive are often equally compatible with linear rules. Children consistently…

计算与语言 · 计算机科学 2018-06-11 R. Thomas McCoy , Robert Frank , Tal Linzen

In the realm of spoken language understanding (SLU), numerous natural language understanding (NLU) methodologies have been adapted by supplying large language models (LLMs) with transcribed speech instead of conventional written text. In…

Pre-trained models (PTMs) have lead to great improvements in natural language generation (NLG). However, it is still unclear how much commonsense knowledge they possess. With the goal of evaluating commonsense knowledge of NLG models,…

计算与语言 · 计算机科学 2022-05-27 Chao Zhao , Faeze Brahman , Tenghao Huang , Snigdha Chaturvedi

Sequential activation of neurons is a common feature of network activity during a variety of behaviors, including working memory and decision making. Previous network models for sequences and memory emphasized specialized architectures in…

神经元与认知 · 定量生物学 2016-03-16 Kanaka Rajan , Christopher D Harvey , David W Tank