Algorithms for Weighted Pushdown Automata. - Alexandra Butoi; Brian DuSell; Tim Vieira; Ryan Cotterell; David Chiang 001 (EMNLP, 2022)

Convergence and Diversity in the Control Hierarchy. - Alexandra Butoi; Ryan Cotterell; David Chiang 001 (ACL (1), 2023)

Efficient Algorithms for Recognizing Weighted Tree-Adjoining Languages. - Alexandra Butoi; Tim Vieira; Ryan Cotterell; David Chiang 001 (EMNLP, 2023)

On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning. - Franz Nowak; Anej Svete; Alexandra Butoi; Ryan Cotterell (ACL (1), 2024)

Training Neural Networks as Recognizers of Formal Languages. - Alexandra Butoi; Ghazal Khalighinejad; Anej Svete; Josef Valvoda; Ryan Cotterell; Brian DuSell (ICLR, 2025)