| On the practical computational power of finite precision RNNs for language recognition G Weiss, Y Goldberg, E Yahav ACL 2018, 2018 | 345 | 2018 |
| Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples G Weiss, Y Goldberg, E Yahav ICML 2018, 2017 | 232 | 2017 |
| Thinking Like Transformers G Weiss, Y Goldberg, E Yahav ICML, 2021 | 107 | 2021 |
| A Formal Hierarchy of RNN Architectures W Merrill, G Weiss, Y Goldberg, R Schwartz, NA Smith, E Yahav ACL 2020, 2020 | 79 | 2020 |
| Learning Deterministic Weighted Automata with Queries and Counterexamples G Weiss, Y Goldberg, E Yahav NeurIPS 2019, 2019 | 62 | 2019 |
| Synthesizing context-free grammars from recurrent neural networks DM Yellin, G Weiss International Conference on Tools and Algorithms for the Construction and …, 2021 | 19 | 2021 |
| 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 | 16 | 2023 |
| Discovering knowledge-critical subnetworks in pretrained language models D Bayazit, N Foroutan, Z Chen, G Weiss, A Bosselut arXiv preprint arXiv:2310.03084, 2023 | 13 | 2023 |
| 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 | 12 | 2024 |
| RECKONING: reasoning through dynamic knowledge encoding Z Chen, G Weiss, E Mitchell, A Celikyilmaz, A Bosselut Advances in Neural Information Processing Systems 36, 2024 | 8 | 2024 |
| 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 | 4 | 2024 |
| Thinking Like Transformers AM Rush, G Weiss The Second Blogpost Track at ICLR 2023, 0 | 1 | |
| Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants B Borges, N Foroutan, D Bayazit, A Sotnikova, S Montariol, T Nazaretzky, ... arXiv preprint arXiv:2408.11841, 2024 | | 2024 |
| 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 | | |
Eran YahavTechnion, IsraelVerified email at cs.technion.ac.il
