activity
20222026
most citedAlgorithms for Weighted Pushdown Automata

1 citations · 1 across the 6 of their papers we have counts for

collaborators

7 papers

cs.CL2026

Generating in the Limit with Infinitely Many Hallucinations

Irene Strauss, Alexandra Butoi, Ryan Cotterell

The classic paradigm of language identification in the limit models learning as a game between an adversary, who reveals strings from an unknown target language, and a learner task…

cs.LG2026

Understanding the Parameter Space Geometry of Transformers Encoding Boolean Functions

Blanka Köver, Alexandra Butoi, Anej Svete +2

Transformers consistently fail to learn certain simple functions that are provably expressible with specific parameter settings. This gap between learnability and expressivity is p…

cs.CL2024

Training Neural Networks as Recognizers of Formal Languages

Alexandra Butoi, Ghazal Khalighinejad, Anej Svete +3

Characterizing the computational power of neural network architectures in terms of formal language theory remains a crucial line of research, as it describes lower and upper bounds…

cs.CL2024

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning

Franz Nowak, Anej Svete, Alexandra Butoi +1

The performance of modern language models (LMs) has been improved by chain-of-thought (CoT) reasoning, i.e., the process of generating intermediate results that guide the model tow…

cs.CL2023

Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages

Alexandra Butoi, Tim Vieira, Ryan Cotterell +1

The class of tree-adjoining languages can be characterized by various two-level formalisms, consisting of a context-free grammar (CFG) or pushdown automaton (PDA) controlling anoth…

cs.FL2023

Convergence and Diversity in the Control Hierarchy

Alexandra Butoi, Ryan Cotterell, David Chiang

Weir has defined a hierarchy of language classes whose second member () is generated by tree-adjoining grammars (TAG), linear indexed grammars (LIG), combinatory cat…

cs.CL2022★ 1 cited

Algorithms for Weighted Pushdown Automata

Alexandra Butoi, Brian DuSell, Tim Vieira +2

Weighted pushdown automata (WPDAs) are at the core of many natural language processing tasks, like syntax-based statistical machine translation and transition-based dependency pars…