🧑‍🔬 Who cites Francois Chollet

246 citations of their works from 246 papers of our library (of the 149,439 whose bibliographies we read) · 41 with a page here, the most cited first · ← Francois Chollet

1. Transformers: State-of-the-Art Natural Language ProcessingConference on Empirical Methods in Natural Language Processing (EMNLP)Thomas Wolf, Lysandre Debut, Victor Sanh, et al.2020 · 15,755 citations
2. fairseq: A Fast, Extensible Toolkit for Sequence ModelingConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Myle Ott, Sergey Edunov, Alexei Baevski, et al.2019 · 3,984 citations
3. A Survey of Large Language ModelsFrontiers of Computer ScienceWayne Xin Zhao, Kun Zhou, Junyi Li, et al.2023 · 2,875 citations
4. Solving Quantitative Reasoning Problems with Language ModelsConference on Neural Information Processing Systems (NeurIPS)Aitor Lewkowycz, Anders Andreassen, David Dohan, et al.2022 · 992 citations
5. Findings of the 2018 Conference on Machine Translation (WMT18)Conference on Machine Translation: Shared Task PapersOndřej Bojar, Christian Federmann, Mark Fishel, et al.2018 · 753 citations
6. A Multiscale Visualization of Attention in the Transformer ModelAnnual Meeting of the Association for Computational Linguistics (ACL)Jesse Vig2019 · 716 citations
7. Similarity of Neural Network Representations RevisitedarXiv:1905.00414Simon Kornblith, Mohammad Norouzi, Honglak Lee, et al.2019 · 679 citations
8. Towards a Human-like Open-Domain ChatbotarXiv:2001.09977Daniel Adiwardana, Minh-Thang Luong, David R. So, et al.2020 · 592 citations
9. Analyzing the Structure of Attention in a Transformer Language ModelarXiv:1906.04284Jesse Vig, Yonatan Belinkov2019 · 438 citations
10. FlauBERT: Unsupervised Language Model Pre-training for FrencharXiv:1912.05372Hang Le, Loïc Vial, Jibril Frej, et al.2019 · 299 citations
11. ConveRT: Efficient and Accurate Conversational Representations from TransformersFindings of the Association for Computational LinguisticsMatthew Henderson, Iñigo Casanueva, Nikola Mrkšić, et al.2020 · 269 citations
12. Fairseq S2T: Fast Speech-to-Text Modeling with FairseqConference of the Asia-Pacific Chapter of the Association for Computational Linguistics (AACL)Changhan Wang, Yun Tang, Xutai Ma, et al.2020 · 259 citations
13. LeanDojo: Theorem Proving with Retrieval-Augmented Language ModelsConference on Neural Information Processing Systems (NeurIPS)Kaiyu Yang, Aidan M. Swope, Alex Gu, et al.2023 · 253 citations
14. Taskmaster-1: Toward a Realistic and Diverse Dialog DatasetConference on Empirical Methods in Natural Language Processing (EMNLP)Bill Byrne, Karthik Krishnamoorthi, Chinnadhurai Sankar, et al.2019 · 247 citations
15. NeMo: a toolkit for building AI applications using Neural ModulesarXiv:1909.09577Oleksii Kuchaiev, Jason Li, Huyen Nguyen, et al.2019 · 244 citations
16. Generative Language Modeling for Automated Theorem ProvingarXiv:2009.03393Stanislas Polu, Ilya Sutskever2020 · 241 citations
17. Hurdles to Progress in Long-form Question AnsweringConference of the North American Chapter of the Association for Computational Linguistics (NAACL)Kalpesh Krishna, Aurko Roy, Mohit Iyyer2021 · 233 citations
18. Autoformalization with Large Language ModelsarXiv:2205.12615Yuhuai Wu, Albert Q. Jiang, Wenda Li, et al.2022 · 204 citations
19. End-to-End Non-Autoregressive Neural Machine Translation with Connectionist Temporal ClassificationConference on Empirical Methods in Natural Language Processing (EMNLP)Jindřich Libovický, Jindřich Helcl2018 · 202 citations
20. On NMT Search Errors and Model Errors: Cat Got Your Tongue?Conference on Empirical Methods in Natural Language Processing (EMNLP)Felix Stahlberg, Bill Byrne2019 · 201 citations
21. Reducing Gender Bias in Neural Machine Translation as a Domain Adaptation ProblemAnnual Meeting of the Association for Computational Linguistics (ACL)Danielle Saunders, Bill Byrne2020 · 198 citations
22. Transformers without Tears: Improving the Normalization of Self-AttentionarXiv:1910.05895Toan Q. Nguyen, Julian Salazar2019 · 189 citations
23. Representation Degeneration Problem in Training Natural Language Generation ModelsarXiv:1907.12009Jun Gao, Di He, Xu Tan, et al.2019 · 181 citations
24. Non-Autoregressive Machine Translation with Latent AlignmentsConference on Empirical Methods in Natural Language Processing (EMNLP)Chitwan Saharia, William Chan, Saurabh Saxena, et al.2020 · 178 citations
25. A Survey of Machine Learning for Big Code and NaturalnessACM Computing SurveysMiltiadis Allamanis, Earl T. Barr, Premkumar Devanbu, et al.2017 · 167 citations
26. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citations
27. Trivial Transfer Learning for Low-Resource Neural Machine TranslationConference on Machine Translation: Research PapersTom Kocmi, Ondřej Bojar2018 · 141 citations
28. Deep Network Guided Proof SearcharXiv:1701.06972 (In Thomas Eiter and David Sands, editors, 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21). EPiC Series in Computing, vol. 46, pages 85-105, EasyChair, 2017. ISSN 2398-7340)Sarah Loos, Geoffrey Irving, Christian Szegedy, et al.2017 · 139 citations
29. Formal Mathematics Statement Curriculum LearningarXiv:2202.01344Stanislas Polu, Jesse Michael Han, Kunhao Zheng, et al.2022 · 133 citations
30. Seq2Edits: Sequence Transduction Using Span-level Edit OperationsConference on Empirical Methods in Natural Language Processing (EMNLP)Felix Stahlberg, Shankar Kumar2020 · 133 citations
31. Scaling Up Models and Data with t5x and seqioarXiv:2203.17189Adam Roberts, Hyung Won Chung, Anselm Levskaya, et al.2022 · 130 citations
32. The NiuTrans Machine Translation Systems for WMT19Conference on Machine Translation (WMT)Bei Li, Yinqiao Li, Chen Xu, et al.2019 · 92 citations
33. Learning to Prove Theorems via Interacting with Proof AssistantsarXiv:1905.09381Kaiyu Yang, Jia Deng2019 · 90 citations
34. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem ProvingarXiv:2502.07640Yong Lin, Shange Tang, Bohan Lyu, et al.2025 · 84 citations
35. LEGO-Prover: Neural Theorem Proving with Growing LibrariesarXiv:2310.00656Haiming Wang, Huajian Xin, Chuanyang Zheng, et al.2023 · 79 citations
36. Thor: Wielding Hammers to Integrate Language Models and Automated Theorem ProversarXiv:2205.10893Albert Q. Jiang, Wenda Li, Szymon Tworkowski, et al.2022 · 79 citations
37. HOList: An Environment for Machine Learning of Higher-Order Theorem ProvingarXiv:1904.03241Kshitij Bansal, Sarah M. Loos, Markus N. Rabe, et al.2019 · 78 citations
38. NaturalProofs: Mathematical Theorem Proving in Natural LanguagearXiv:2104.01112Sean Welleck, Jiacheng Liu, Ronan Le Bras, et al.2021 · 76 citations
39. Findings of the WMT 2019 Biomedical Translation Shared Task: Evaluation for MEDLINE Abstracts and Biomedical TerminologiesConference on Machine Translation (WMT)Rachel Bawden, Kevin Bretonnel Cohen, Cristian Grozea, et al.2019 · 54 citations
40. Premise Selection in Natural Language Mathematical TextsAnnual Meeting of the Association for Computational Linguistics (ACL)Deborah Ferreira, André Freitas2020 · 44 citations
41. Stress Test Evaluation of Transformer-based Models in Natural Language Understanding TasksLanguage Resources and Evaluation Conference (LREC)Carlos Aspillaga, Andrés Carvallo, Vladimir Araujo2020 · 17 citations

205 more citing papers of our library have no page here yet.

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/authors/francois-chollet/cited-by/