Follow
Gail Weiss
Gail Weiss
EPFL - École Polytechnique Fédérale de Lausanne
Verified email at epfl.ch - Homepage
Title
Cited by
Cited by
Year
On the practical computational power of finite precision RNNs for language recognition
G Weiss, Y Goldberg, E Yahav
ACL 2018, 2018
3372018
Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples
G Weiss, Y Goldberg, E Yahav
ICML 2018, 2017
2192017
Thinking Like Transformers
G Weiss, Y Goldberg, E Yahav
ICML, 2021
922021
A Formal Hierarchy of RNN Architectures
W Merrill, G Weiss, Y Goldberg, R Schwartz, NA Smith, E Yahav
ACL 2020, 2020
772020
Learning Deterministic Weighted Automata with Queries and Counterexamples
G Weiss, Y Goldberg, E Yahav
NeurIPS 2019, 2019
592019
Transformers as recognizers of formal languages: A survey on expressivity
L Strobl, W Merrill, G Weiss, D Chiang, D Angluin
arXiv preprint arXiv:2311.00208, 2023
152023
Synthesizing context-free grammars from recurrent neural networks
DM Yellin, G Weiss
International Conference on Tools and Algorithms for the Construction and …, 2021
152021
Discovering knowledge-critical subnetworks in pretrained language models
D Bayazit, N Foroutan, Z Chen, G Weiss, A Bosselut
arXiv preprint arXiv:2310.03084, 2023
122023
RECKONING: reasoning through dynamic knowledge encoding
Z Chen, G Weiss, E Mitchell, A Celikyilmaz, A Bosselut
Advances in Neural Information Processing Systems 36, 2024
62024
What formal languages can transformers express? a survey
L Strobl, W Merrill, G Weiss, D Chiang, D Angluin
Transactions of the Association for Computational Linguistics 12, 543-561, 2024
32024
Extracting automata from recurrent neural networks using queries and counterexamples (extended version)
G Weiss, Y Goldberg, E Yahav
Machine Learning 113 (5), 2877-2919, 2024
32024
Improving Autoformalization using Type Checking
A Poiroux, G Weiss, V Kunčak, A Bosselut
arXiv preprint arXiv:2406.07222, 2024
2024
Could ChatGPT be an Engineer? Evaluating Higher Education Vulnerability to AI Assistants
B Borges, N Foroutan, D Bayazit, S Montariol, M Banaei, A Sakhaeirad, ...
AI for Education: Bridging Innovation and Responsibility at the 38th AAAI …, 0
NLP
D Bayazit, B Borges, A Bosselut, J Castillo Navarro, Z Chen, G Cutura, ...
Discovering Knowledge-Critical Subnetworks in Neural Language Models
D Bayazit, N Foroutan, Z Chen, G Weiss, A Bosselut
Thinking Like Transformers
AM Rush, G Weiss
The Second Blogpost Track at ICLR 2023, 0
The system can't perform the operation now. Try again later.
Articles 1–16