On the Practical Computational Power of Finite Precision RNNs for Language Recognition. - Gail Weiss; Yoav Goldberg; Eran Yahav (ACL (2), 2018)

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. - Gail Weiss; Yoav Goldberg; Eran Yahav (ICML, 2018)

Learning Deterministic Weighted Automata with Queries and Counterexamples. - Gail Weiss; Yoav Goldberg; Eran Yahav (NeurIPS, 2019)

A Formal Hierarchy of RNN Architectures. - William Merrill; Gail Weiss; Yoav Goldberg; Roy Schwartz 001; Noah A. Smith; Eran Yahav (ACL, 2020)

Thinking Like Transformers. - Gail Weiss; Yoav Goldberg; Eran Yahav (ICML, 2021)

Synthesizing Context-free Grammars from Recurrent Neural Networks. - Daniel M. Yellin; Gail Weiss (TACAS (1), 2021)

Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version). - Daniel M. Yellin; Gail Weiss (CoRR, 2021)

RECKONING: Reasoning through Dynamic Knowledge Encoding. - Zeming Chen 001; Gail Weiss; Eric Mitchell; Asli Celikyilmaz; Antoine Bosselut (NeurIPS, 2023)

Transformers as Recognizers of Formal Languages: A Survey on Expressivity. - Lena Strobl; William Merrill; Gail Weiss; David Chiang 001; Dana Angluin (CoRR, 2023)

Discovering Knowledge-Critical Subnetworks in Pretrained Language Models. - Deniz Bayazit; Negar Foroutan; Zeming Chen 001; Gail Weiss; Antoine Bosselut (EMNLP, 2024)

Improving Autoformalization using Type Checking. - Auguste Poiroux; Gail Weiss; Viktor Kuncak; Antoine Bosselut (CoRR, 2024)

Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants. - Beatriz Borges; Negar Foroutan; Deniz Bayazit; Anna Sotnikova; Syrielle Montariol; Tanya Nazaretzky; Mohammadreza Banaei; Alireza Sakhaeirad; Philippe Servant; Seyed Parsa Neshaei; Jibril Frej; Angelika Romanou; et al. (CoRR, 2024)

What Formal Languages Can Transformers Express? A Survey. - Lena Strobl; William Merrill; Gail Weiss; David Chiang 001; Dana Angluin (Trans. Assoc. Comput. Linguistics, 2024)

Extracting automata from recurrent neural networks using queries and counterexamples (extended version). - Gail Weiss; Yoav Goldberg; Eran Yahav (Mach. Learn., 2024)

Correction to: Extracting automata from recurrent neural networks using queries and counterexamples (extended version). - Gail Weiss; Yoav Goldberg; Eran Yahav (Mach. Learn., 2024)

PERK: Long-Context Reasoning as Parameter-Efficient Test-Time Learning. - Zeming Chen 001; Angelika Romanou; Gail Weiss; Antoine Bosselut (CoRR, 2025)