activity
20222026
most citedRamsey Quantifiers over Automatic Structures: Complexity and Applications to Verification

2 citations · 4 across the 8 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.FL2024

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective

Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin +1

Formal language theory has recently been successfully employed to unravel the power of transformer encoders. This setting is primarily applicable in Natural Language Processing (NL…