中文
相关论文

相关论文: Neural architectures for resolving references in p…

200 篇论文

While abstraction is a classic tool of verification to scale it up, it is not used very often for verifying neural networks. However, it can help with the still open task of scaling existing algorithms to state-of-the-art network…

计算机科学中的逻辑 · 计算机科学 2020-06-25 Pranav Ashok , Vahid Hashemi , Jan Křetínský , Stefanie Mohr

Transformers have been established as the most popular backbones in sequence modeling, mainly due to their effectiveness in in-context retrieval tasks and the ability to learn at scale. Their quadratic memory and time complexity, however,…

计算与语言 · 计算机科学 2025-05-30 Ali Behrouz , Zeman Li , Praneeth Kacham , Majid Daliri , Yuan Deng , Peilin Zhong , Meisam Razaviyayn , Vahab Mirrokni

Sequential computation is well understood but does not scale well with current technology. Within the next decade, systems will contain large numbers of processors with potentially thousands of processors per chip. Despite this, many…

硬件体系结构 · 计算机科学 2015-11-17 James Hanlon

Several tasks in argumentation mining and debating, question-answering, and natural language inference involve classifying a sequence in the context of another sequence (referred as bi-sequence classification). For several single sequence…

计算与语言 · 计算机科学 2016-10-04 Anirban Laha , Vikas Raykar

Recurrent neural networks can learn complex transduction problems that require maintaining and actively exploiting a memory of their inputs. Such models traditionally consider memory and input-output functionalities indissolubly entangled.…

机器学习 · 计算机科学 2018-11-09 Davide Bacciu , Antonio Carta , Alessandro Sperduti

Neural architecture search (NAS) has been extensively studied in the past few years. A popular approach is to represent each neural architecture in the search space as a directed acyclic graph (DAG), and then search over all DAGs by…

机器学习 · 计算机科学 2022-06-07 Colin White , Willie Neiswanger , Sam Nolen , Yash Savani

Within one decade, Deep Learning overtook the dominating solution methods of countless problems of artificial intelligence. ``Deep'' refers to the deep architectures with operations in manifolds of which there are no immediate observations.…

机器学习 · 计算机科学 2024-10-15 Julian Stier

Formal analysis to ensure adherence of software to defined architectural constraints is not yet broadly used within software development, due to the effort involved in defining formal architecture models. Within this paper, we outline…

软件工程 · 计算机科学 2025-03-21 Steffen Herbold , Christoph Knieke , Andreas Rausch , Christian Schindler

The evolution of sequence modeling architectures, from recurrent neural networks and convolutional models to Transformers and structured state-space models, reflects ongoing efforts to address the diverse temporal dependencies inherent in…

机器学习 · 计算机科学 2025-06-10 Haotian Jiang , Zeyu Bao , Shida Wang , Qianxiao Li

For most deep learning practitioners, sequence modeling is synonymous with recurrent networks. Yet recent results indicate that convolutional architectures can outperform recurrent networks on tasks such as audio synthesis and machine…

机器学习 · 计算机科学 2018-04-20 Shaojie Bai , J. Zico Kolter , Vladlen Koltun

Static program analysis is a valuable tool for any programming language that people write programs in. The prevalence of scripting languages in the world suggests programming language interpreters are relatively easy to write. Users of…

编程语言 · 计算机科学 2015-05-01 James Ian Johnson

We propose DEEPMEMORY, a novel deep architecture for sequence-to-sequence learning, which performs the task through a series of nonlinear transformations from the representation of the input sequence (e.g., a Chinese sentence) to the final…

计算与语言 · 计算机科学 2016-01-08 Fandong Meng , Zhengdong Lu , Zhaopeng Tu , Hang Li , Qun Liu

In this paper, we systematically analyze the connecting architectures of recurrent neural networks (RNNs). Our main contribution is twofold: first, we present a rigorous graph-theoretic framework describing the connecting architectures of…

机器学习 · 计算机科学 2016-11-15 Saizheng Zhang , Yuhuai Wu , Tong Che , Zhouhan Lin , Roland Memisevic , Ruslan Salakhutdinov , Yoshua Bengio

Neural networks are powerful and flexible models that work well for many difficult learning tasks in image, speech and natural language understanding. Despite their success, neural networks are still hard to design. In this paper, we use a…

机器学习 · 计算机科学 2017-02-16 Barret Zoph , Quoc V. Le

Recent progress in deep learning has been driven by increasingly larger models. However, their computational and energy demands have grown proportionally, creating significant barriers to their deployment and to a wider adoption of deep…

机器学习 · 计算机科学 2025-09-16 Pedro Savarese

We introduce a neural network with a recurrent attention model over a possibly large external memory. The architecture is a form of Memory Network (Weston et al., 2015) but unlike the model in that work, it is trained end-to-end, and hence…

神经与进化计算 · 计算机科学 2015-11-25 Sainbayar Sukhbaatar , Arthur Szlam , Jason Weston , Rob Fergus

A key feature of intelligent behavior is the ability to learn abstract strategies that transfer to unfamiliar problems. Therefore, we present a novel architecture, based on memory-augmented networks, that is inspired by the von Neumann and…

神经与进化计算 · 计算机科学 2020-06-04 Daniel Tanneberg , Elmar Rueckert , Jan Peters

Neural Architecture Search (NAS) is a promising and rapidly evolving research area. Training a large number of neural networks requires an exceptional amount of computational power, which makes NAS unreachable for those researchers who have…

A large body of research in continual learning is devoted to overcoming the catastrophic forgetting of neural networks by designing new algorithms that are robust to the distribution shifts. However, the majority of these works are strictly…

Since the first end-to-end neural coreference resolution model was introduced, many extensions to the model have been proposed, ranging from using higher-order inference to directly optimizing evaluation metrics using reinforcement…

计算与语言 · 计算机科学 2022-02-10 Tuan Manh Lai , Trung Bui , Doo Soon Kim