Gail Weiss

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 19

Top Topics

Equivalence Queries

Nonlinear Dynamic Systems

Discovering Knowledge

Recurrent Neural Networks

Top Venues

Publications

Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin
What Formal Languages Can Transformers Express? A Survey. Trans. Assoc. Comput. Linguistics 12 (2024)
Auguste Poiroux, Gail Weiss, Viktor Kuncak, Antoine Bosselut
Improving Autoformalization using Type Checking. CoRR (2024)
Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting automata from recurrent neural networks using queries and counterexamples (extended version). Mach. Learn. 113 (5) (2024)
Zeming Chen, Gail Weiss, Eric Mitchell, Asli Celikyilmaz, Antoine Bosselut
RECKONING: Reasoning through Dynamic Knowledge Encoding. NeurIPS (2023)
Deniz Bayazit, Negar Foroutan, Zeming Chen, Gail Weiss, Antoine Bosselut
Discovering Knowledge-Critical Subnetworks in Pretrained Language Models. CoRR (2023)
Zeming Chen, Gail Weiss, Eric Mitchell, Asli Celikyilmaz, Antoine Bosselut
RECKONING: Reasoning through Dynamic Knowledge Encoding. CoRR (2023)
Lena Strobl, William Merrill, Gail Weiss, David Chiang, Dana Angluin
Transformers as Recognizers of Formal Languages: A Survey on Expressivity. CoRR (2023)
Daniel M. Yellin, Gail Weiss
Synthesizing Context-free Grammars from Recurrent Neural Networks (Extended Version). CoRR (2021)
Daniel M. Yellin, Gail Weiss
Synthesizing Context-free Grammars from Recurrent Neural Networks. TACAS (1) (2021)
Gail Weiss, Yoav Goldberg, Eran Yahav
Thinking Like Transformers. CoRR (2021)
Gail Weiss, Yoav Goldberg, Eran Yahav
Thinking Like Transformers. ICML (2021)
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
A Formal Hierarchy of RNN Architectures. ACL (2020)
William Merrill, Gail Weiss, Yoav Goldberg, Roy Schwartz, Noah A. Smith, Eran Yahav
A Formal Hierarchy of RNN Architectures. CoRR (2020)
Gail Weiss, Yoav Goldberg, Eran Yahav
Learning Deterministic Weighted Automata with Queries and Counterexamples. NeurIPS (2019)
Gail Weiss, Yoav Goldberg, Eran Yahav
Learning Deterministic Weighted Automata with Queries and Counterexamples. CoRR (2019)
Gail Weiss, Yoav Goldberg, Eran Yahav
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. ACL (2) (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. ICML (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
On the Practical Computational Power of Finite Precision RNNs for Language Recognition. CoRR (2018)
Gail Weiss, Yoav Goldberg, Eran Yahav
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples. CoRR (2017)