10 citations · 15 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.FL2022★ 1 cited
Constructing Concise Characteristic Samples for Acceptors of Omega Regular Languages
Dana Angluin, Dana Fisman
A characteristic sample for a language and a learning algorithm is a finite sample of words labeled by their membership in such that for any sample $T \s…
cs.CC2022★ 1 cited
Formal Language Recognition by Hard Attention Transformers: Perspectives from Circuit Complexity
Yiding Hao, Dana Angluin, Robert Frank
This paper analyzes three formal models of Transformer encoders that differ in the form of their self-attention mechanism: unique hard attention (UHAT); generalized unique hard att…