Guillaume Lample7 papers on this site (2016–2022)OpenAlex · h-index 29 · 56 works · 15923 citations (openalex-snapshot, 2026-10-14)Profile data from OpenAlex; authors with the same name are not always told apart.Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal ProofsAlbert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al.2022HyperTree Proof Search for Neural Theorem ProvingGuillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al.2022Unsupervised Translation of Programming LanguagesMarie-Anne Lachaux, Baptiste Roziere, Lowik Chanussot, et al.2020The FLORES Evaluation Datasets for Low-Resource Machine Translation: Nepali–English and Sinhala–EnglishFrancisco Guzmán, Peng-Jen Chen, Myle Ott, et al.2019What you can cram into a single \$&!\#* vector: Probing sentence embeddings for linguistic propertiesAlexis Conneau, German Kruszewski, Guillaume Lample, et al.2018Unsupervised Machine Translation Using Monolingual Corpora OnlyGuillaume Lample, Alexis Conneau, Ludovic Denoyer, et al.2017Massively Multilingual Word EmbeddingsWaleed Ammar, George Mulcaire, Yulia Tsvetkov, et al.2016