中文
相关论文

相关论文: Logical Languages Accepted by Transformer Encoders…

200 篇论文

We propose a novel attention mechanism, named Cog Attention, that enables attention weights to be negative for enhanced expressiveness, which stems from two key factors: (1) Cog Attention enhances parameter flexibility. For example, unlike…

计算与语言 · 计算机科学 2025-01-31 Ang Lv , Ruobing Xie , Shuaipeng Li , Jiayi Liao , Xingwu Sun , Zhanhui Kang , Di Wang , Rui Yan

Despite the significant progress made by transformer models in machine reading comprehension tasks, they still fall short in handling complex reasoning tasks due to the absence of explicit knowledge in the input sequence. To address this…

计算与语言 · 计算机科学 2024-01-17 Shima Foolad , Kourosh Kiani

The dominant sequence transduction models are based on complex recurrent or convolutional neural networks in an encoder-decoder configuration. The best performing models also connect the encoder and decoder through an attention mechanism.…

Natural language is one of the most intuitive ways to express human intent. However, translating instructions and commands towards robotic motion generation and deployment in the real world is far from being an easy task. The challenge of…

机器人学 · 计算机科学 2022-09-20 Arthur Bucker , Luis Figueredo , Sami Haddadin , Ashish Kapoor , Shuang Ma , Sai Vemprala , Rogerio Bonatti

While there have been significant advances in de-tecting emotions in text, in the field of utter-ance-level emotion recognition (ULER), there are still many problems to be solved. In this paper, we address some challenges in ULER in dialog…

计算与语言 · 计算机科学 2020-02-19 QingBiao Li , ChunHua Wu , KangFeng Zheng , Zhe Wang

Modern day conversational agents are trained to emulate the manner in which humans communicate. To emotionally bond with the user, these virtual agents need to be aware of the affective state of the user. Transformers are the recent state…

声音 · 计算机科学 2022-04-26 Raman Goel , Seba Susan , Sachin Vashisht , Armaan Dhanda

We realize constant-space quantum computation by measure-many two-way quantum finite automata and evaluate their language recognition power by analyzing patterns of their exotic behaviors and by exploring their structural properties. In…

形式语言与自动机理论 · 计算机科学 2016-06-29 Tomoyuki Yamakami

Recent theoretical work has identified surprisingly simple reasoning problems, such as checking if two nodes in a graph are connected or simulating finite-state machines, that are provably unsolvable by standard transformers that answer…

机器学习 · 计算机科学 2024-04-15 William Merrill , Ashish Sabharwal

Transformers have had tremendous impact for several sequence related tasks, largely due to their ability to retrieve from any part of the sequence via softmax based dot-product attention. This mechanism plays a crucial role in Transformer's…

机器学习 · 计算机科学 2025-07-15 Sai Surya Duvvuri , Inderjit S. Dhillon

Transformer models typically calculate attention matrices using dot products, which have limitations when capturing nonlinear relationships between embedding vectors. We propose Neural Attention, a technique that replaces dot products with…

机器学习 · 计算机科学 2025-11-10 Andrew DiGiugno , Ausif Mahmood

While the Self-Attention mechanism in the Transformer model has proven to be effective in many domains, we observe that it is less effective in more diverse settings (e.g. multimodality) due to the varying granularity of each token and the…

计算机视觉与模式识别 · 计算机科学 2024-06-06 Wayner Barrios , SouYoung Jin

Few-shot Chain-of-Thought (CoT) prompting has demonstrated strong performance in improving the reasoning capabilities of large language models (LLMs). While theoretical investigations have been conducted to understand CoT, the underlying…

计算与语言 · 计算机科学 2024-10-23 Yingqian Cui , Pengfei He , Xianfeng Tang , Qi He , Chen Luo , Jiliang Tang , Yue Xing

Transformers have become the go-to architecture for language and vision tasks, yet their theoretical properties, especially memorization capacity, remain elusive. This paper investigates the memorization abilities of multi-head attention…

机器学习 · 计算机科学 2024-03-05 Sadegh Mahdavi , Renjie Liao , Christos Thrampoulidis

Recent studies have shown that Large Language Models (LLMs) can achieve strong reasoning performance by incorporating functional symbolic representations that abstractly describe graph traversal algorithms and step-by-step reasoning in…

人工智能 · 计算机科学 2026-05-28 Phuong Minh Nguyen , Tien Huu Dang , Naoya Inoue

Scene text recognition has attracted particular research interest because it is a very challenging problem and has various applications. The most cutting-edge methods are attentional encoder-decoder frameworks that learn the alignment…

计算机视觉与模式识别 · 计算机科学 2019-08-27 Xiaoxue Chen , Tianwei Wang , Yuanzhi Zhu , Lianwen Jin , Canjie Luo

It is an open problem to characterize the class of languages recognized by quantum finite automata (QFA). We examine some necessary and some sufficient conditions for a (regular) language to be recognizable by a QFA. For a subclass of…

量子物理 · 物理学 2007-05-23 Andris Ambainis , Arnolds Kikusts , Maris Valdats

We analyse the complexity of the satisfiability problem, or similarly feasibility problem, (trSAT) for transformer encoders (TE), which naturally occurs in formal verification or interpretation, collectively referred to as formal reasoning.…

计算机科学中的逻辑 · 计算机科学 2025-02-26 Marco Sälzer , Eric Alsmann , Martin Lange

Transformers, as the fundamental deep learning architecture, have demonstrated great capability in reasoning. This paper studies the generalizable first-order logical reasoning ability of transformers with their parameterized knowledge and…

计算与语言 · 计算机科学 2025-07-11 Tianshi Zheng , Jiazheng Wang , Zihao Wang , Jiaxin Bai , Hang Yin , Zheye Deng , Yangqiu Song , Jianxin Li

In this paper, I introduce the retrieval problem, a simple yet common reasoning task that can be solved only by transformers with a minimum number of layers, which grows logarithmically with the input size. I empirically show that large…

机器学习 · 计算机科学 2025-10-29 Tiberiu Musat

Large Language Models (LLMs) are trained to support an increasing number of languages, yet their predefined tokenizers remain a bottleneck for adapting models to lower-resource or distinct-script languages. Existing tokenizer transfer…

计算与语言 · 计算机科学 2026-05-12 Mykola Haltiuk , Aleksander Smywinski-Pohl
‹ 上一页 1 8 9 10 下一页 ›