中文
相关论文

相关论文: Extracting Finite Automata from RNNs Using State M…

200 篇论文

Recurrent Neural Networks (RNNs) have been widely used in processing natural language tasks and achieve huge success. Traditional RNNs usually treat each token in a sentence uniformly and equally. However, this may miss the rich semantic…

计算与语言 · 计算机科学 2018-11-14 Chang Xu , Weiran Huang , Hongwei Wang , Gang Wang , Tie-Yan Liu

Machine Translation models are trained to translate a variety of documents from one language into another. However, models specifically trained for a particular characteristics of the documents tend to perform better. Fine-tuning is a…

计算与语言 · 计算机科学 2019-10-09 Alberto Poncelas , Gideon Maillette de Buy Wenniger , Andy Way

Although conditional branching between possible behavioural states is a hallmark of intelligent behavior, very little is known about the neuronal mechanisms that support this processing. In a step toward solving this problem we demonstrate…

神经元与认知 · 定量生物学 2012-01-16 Ueli Rutishauser , Rodney J. Douglas

In an ever expanding set of research and application areas, deep neural networks (DNNs) set the bar for algorithm performance. However, depending upon additional constraints such as processing power and execution time limits, or…

机器学习 · 计算机科学 2021-06-22 Nathan Dahlin , Krishna Chaitanya Kalagarla , Nikhil Naik , Rahul Jain , Pierluigi Nuzzo

Imitation learning frameworks for robotic manipulation have drawn attention in the recent development of language model grounded robotics. However, the success of the frameworks largely depends on the coverage of the demonstration cases:…

机器人学 · 计算机科学 2025-03-10 Tong Mu , Yihao Liu , Mehran Armand

Every language recognized by a non-deterministic finite automaton can be recognized by a deterministic automaton, at the cost of a potential increase of the number of states, which in the worst case can go from $n$ states to $2^n$ states.…

形式语言与自动机理论 · 计算机科学 2025-02-05 Arnaud Carayol , Philippe Duchon , Florent Koechlin , Cyril Nicaud

The verification problem for neural networks is verifying whether a neural network will suffer from adversarial samples, or approximating the maximal allowed scale of adversarial perturbation that can be endured. While most prior work…

机器学习 · 计算机科学 2018-11-16 Qinglong Wang , Kaixuan Zhang , Xue Liu , C. Lee Giles

We present a new active model-learning approach to generating abstractions of a system implementation, as finite state automata (FSAs), from execution traces. Given an implementation and a set of observable system variables, the generated…

形式语言与自动机理论 · 计算机科学 2021-12-15 Natasha Yogananda Jeppu , Tom Melham , Daniel Kroening

Attentional, RNN-based encoder-decoder models for abstractive summarization have achieved good performance on short input and output sequences. For longer documents and summaries however these models often include repetitive and incoherent…

计算与语言 · 计算机科学 2017-11-15 Romain Paulus , Caiming Xiong , Richard Socher

Much of the recent research on solving iterative inference problems focuses on moving away from hand-chosen inference algorithms and towards learned inference. In the latter, the inference process is unrolled in time and interpreted as a…

神经与进化计算 · 计算机科学 2017-06-14 Patrick Putzky , Max Welling

Engelfriet and Vereijken have shown that linear graph grammars based on hyperedge replacement generate graph languages that can be considered as interpretations of regular string languages over typed symbols. In this paper we show that…

形式语言与自动机理论 · 计算机科学 2025-03-27 Frank Drewes , Berthold Hoffmann , Mark Minas

Continuous time recurrent neural networks (CTRNN) are systems of coupled ordinary differential equations that are simple enough to be insightful for describing learning and computation, from both biological and machine learning viewpoints.…

动力系统 · 数学 2021-06-18 Peter Ashwin , Claire M Postlethwaite

Deep neural networks (DNNs) can be useful within the marine robotics field, but their utility value is restricted by their black-box nature. Explainable artificial intelligence methods attempt to understand how such black-boxes make their…

机器人学 · 计算机科学 2022-03-02 Vilde B. Gjærum , Inga Strümke , Ole Andreas Alsos , Anastasios M. Lekkas

Recent advancements in recurrent neural networks (RNNs) have reinvigorated interest in their application to natural language processing tasks, particularly with the development of more efficient and parallelizable variants known as state…

计算与语言 · 计算机科学 2025-03-11 Vinoth Nandakumar , Qiang Qu , Peng Mi , Tongliang Liu

Theoretical understanding of how deep neural network (DNN) extracts features from input images is still unclear, but it is widely believed that the extraction is performed hierarchically through a process of coarse-graining. It reminds us…

高能物理 - 理论 · 物理学 2018-05-16 Satoshi Iso , Shotaro Shiba , Sumito Yokoo

Data-driven approaches to automated machine condition monitoring are gaining popularity due to advancements made in sensing technologies and computing algorithms. This paper proposes the use of a deep learning model, based on Long…

信号处理 · 电气工程与系统科学 2019-07-30 Jianlei Zhang , Binil Starly

Understanding the results of deep neural networks is an essential step towards wider acceptance of deep learning algorithms. Many approaches address the issue of interpreting artificial neural networks, but often provide divergent…

机器学习 · 计算机科学 2021-11-16 Vadim Borisov , Johannes Meier , Johan van den Heuvel , Hamed Jalali , Gjergji Kasneci

We present novel methods for analyzing the activation patterns of RNNs from a linguistic point of view and explore the types of linguistic structure they learn. As a case study, we use a multi-task gated recurrent network architecture…

计算与语言 · 计算机科学 2016-06-09 Ákos Kádár , Grzegorz Chrupała , Afra Alishahi

We present an active automata learning algorithm which learns a decomposition of a finite state machine, based on projecting onto individual outputs. This is dual to a recent compositional learning algorithm by Labbaf et al. (2023). When…

计算机科学中的逻辑 · 计算机科学 2024-05-15 Rick Koenders , Joshua Moerman

We propose an approach that connects recurrent networks with different orders of hidden interaction with regular grammars of different levels of complexity. We argue that the correspondence between recurrent networks and formal…

机器学习 · 计算机科学 2019-11-13 Qinglong Wang , Kaixuan Zhang , Xue Liu , C. Lee Giles
‹ 上一页 1 8 9 10 下一页 ›