Gail Weiss

24 papers A* 7Journal 15Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
PERK: Long-Context Reasoning as Parameter-Efficient Test-Time Learning.
CoRR
Zeming Chen, Angelika Romanou, Gail Weiss, Antoine Bosselut
2025 A* conf
Reliable Evaluation and Benchmarks for Statement Autoformalization.
EMNLP
Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut
2024 J jnl
Correction to: Extracting automata from recurrent neural networks using queries and counterexamples (extended version).
Mach. Learn.
Gail Weiss, Yoav Goldberg, Eran Yahav
2024 J jnl
Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants.
CoRR
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
2024 A* conf
Discovering Knowledge-Critical Subnetworks in Pretrained Language Models.
EMNLP
Deniz Bayazit, Negar Foroutan, Zeming Chen, Gail Weiss, Antoine Bosselut
2024 J jnl
Extracting automata from recurrent neural networks using queries and counterexamples (extended version).
Mach. Learn.
Gail Weiss, Yoav Goldberg, Eran Yahav
2024 J jnl
Improving Autoformalization using Type Checking.
CoRR
Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut
2024 J jnl
What Formal Languages Can Transformers Express? A Survey.
Trans. Assoc. Comput. Linguistics
Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin
2023 J jnl
Discovering Knowledge-Critical Subnetworks in Pretrained Language Models.
CoRR
Deniz Bayazit, Negar Foroutan, Zeming Chen, Gail Weiss, Antoine Bosselut
2023 A* conf
RECKONING: Reasoning through Dynamic Knowledge Encoding.
NeurIPS
Zeming Chen, Gail Weiss, Eric Mitchell, Asli Celikyilmaz, Antoine Bosselut
2023 J jnl
RECKONING: Reasoning through Dynamic Knowledge Encoding.
CoRR
Zeming Chen, Gail Weiss, Eric Mitchell, Asli Celikyilmaz, Antoine Bosselut
2023 J jnl
Transformers as Recognizers of Formal Languages: A Survey on Expressivity.
CoRR
Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin
2021 J jnl
Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version).
CoRR
Daniel M. Yellin, Gail Weiss
2021 — conf
Synthesizing Context-free Grammars from Recurrent Neural Networks.
TACAS (1)
Daniel M. Yellin, Gail Weiss
2021 A* conf
Thinking Like Transformers.
ICML
Gail Weiss, Yoav Goldberg, Eran Yahav
2021 J jnl
Thinking Like Transformers.
CoRR
Gail Weiss, Yoav Goldberg, Eran Yahav
2020 A* conf
A Formal Hierarchy of RNN Architectures.
ACL
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
2020 J jnl
A Formal Hierarchy of RNN Architectures.
CoRR
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
2019 A* conf
Learning Deterministic Weighted Automata with Queries and Counterexamples.
NeurIPS
Gail Weiss, Yoav Goldberg, Eran Yahav
2019 J jnl
Learning Deterministic Weighted Automata with Queries and Counterexamples.
CoRR
Gail Weiss, Yoav Goldberg, Eran Yahav
2018 A* conf
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.
ICML
Gail Weiss, Yoav Goldberg, Eran Yahav
2018 — conf
On the Practical Computational Power of Finite Precision RNNs for Language Recognition.
ACL (2)
Gail Weiss, Yoav Goldberg, Eran Yahav
2018 J jnl
On the Practical Computational Power of Finite Precision RNNs for Language Recognition.
CoRR
Gail Weiss, Yoav Goldberg, Eran Yahav
2017 J jnl
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples.
CoRR
Gail Weiss, Yoav Goldberg, Eran Yahav