Gail Weiss

According to our database, Gail Weiss authored at least 14 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Extracting automata from recurrent neural networks using queries and counterexamples (extended version).

Gail Weiss, Yoav Goldberg, Eran Yahav

Mach. Learn., May, 2024

What Formal Languages Can Transformers Express? A Survey.

Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin

Trans. Assoc. Comput. Linguistics, 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, Gail Weiss, Sepideh Mamooler, Zeming Chen, Simin Fan, Silin Gao, Mete Ismayilzada, Debjit Paul, Alexandre Schöpfer, Andrej Janchevski, Anja Tiede, Clarence Linden, Emanuele Troiani, Francesco Salvi, Freya Behrens, Giacomo Orsi, Giovanni Piccioli, Hadrien Sevel, Louis Coulon, Manuela Pineros-Rodriguez, Marin Bonnassies, Pierre Hellich, Puck van Gerwen, Sankalp Gambhir, Solal Pirelli, Thomas Blanchard, Timothée Callens, Toni Abi Aoun, Yannick Calvino Alonso, Yuri Cho, Alberto Silvio Chiappa, Antonio Sclocchi, Étienne Bruno, Florian Hofhammer, Gabriel Pescia, Geovani Rizk, Leello Dadi, Lucas Stoffl, Manoel Horta Ribeiro, Matthieu Bovel, Yueyang Pan, Aleksandra Radenovic, Alexandre Alahi, Alexander Mathis, Anne-Florence Bitbol, Boi Faltings, Cécile Hébert, Devis Tuia, François Maréchal, George Candea, Giuseppe Carleo, Jean-Cédric Chappelier, Nicolas Flammarion, Jean-Marie Fürbringer, Jean-Philippe Pellet, Karl Aberer, Lenka Zdeborová, Marcel Salathé, Martin Jaggi, Martin Rajman, Mathias Payer, Matthieu Wyart, Michael Gastpar, Michele Ceriotti, Ola Svensson, Olivier Lévêque, Paolo Ienne, Rachid Guerraoui, Robert West, Sanidhya Kashyap, Valerio Piazza, Viesturs Simanis, Viktor Kuncak, Volkan Cevher, Philippe Schwaller, Sacha Friedli, Patrick Jermann, Tanja Käser, Antoine Bosselut

CoRR, 2024

Improving Autoformalization using Type Checking.

Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut

CoRR, 2024

Discovering Knowledge-Critical Subnetworks in Pretrained Language Models.

Deniz Bayazit, Negar Foroutan, Zeming Chen, Gail Weiss, Antoine Bosselut

Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing, 2024

2023

Transformers as Recognizers of Formal Languages: A Survey on Expressivity.

Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin

CoRR, 2023

RECKONING: Reasoning through Dynamic Knowledge Encoding.

Zeming Chen, Gail Weiss, Eric Mitchell, Asli Celikyilmaz, Antoine Bosselut

Proceedings of the Advances in Neural Information Processing Systems 36: Annual Conference on Neural Information Processing Systems 2023, 2023

2021

Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version).

Daniel M. Yellin, Gail Weiss

CoRR, 2021

Synthesizing Context-free Grammars from Recurrent Neural Networks.

Daniel M. Yellin, Gail Weiss

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Thinking Like Transformers.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 38th International Conference on Machine Learning, 2021

2020

A Formal Hierarchy of RNN Architectures.

William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav

Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, 2020

2019

Learning Deterministic Weighted Automata with Queries and Counterexamples.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, 2019

2018

Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 35th International Conference on Machine Learning, 2018

On the Practical Computational Power of Finite Precision RNNs for Language Recognition.

Gail Weiss, Yoav Goldberg, Eran Yahav

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018