--- title: "Guillaume Lample — papers" description: "Guillaume Lample: 7 papers in the Elamur Research library (2016–2022) — our summary of each, its ideas, references and who cites it." canonical: "https://research.elamur.ai/free/en/authors/guillaume-lample/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/guillaume-lample/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Guillaume Lample # Guillaume Lample 7 papers on this site (2016–2022) [OpenAlex](https://openalex.org/A5054371148) · 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 Proofs](https://md.research.elamur.ai/free/en/papers/jiang-2022-draft-sketch-prove-guiding-formal/) — Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, et al. · 2022 - [HyperTree Proof Search for Neural Theorem Proving](https://md.research.elamur.ai/free/en/papers/lample-2022-hypertree-proof-search-neural-theorem/) — Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, et al. · 2022 - [Unsupervised Translation of Programming Languages](https://md.research.elamur.ai/free/en/papers/lachaux-2020-unsupervised-translation-programming-languages/) — Marie-Anne Lachaux, Baptiste Roziere, Lowik Chanussot, et al. · 2020 - [The FLORES Evaluation Datasets for Low-Resource Machine Translation: Nepali–English and Sinhala–English](https://md.research.elamur.ai/free/en/papers/guzman-2019-flores-evaluation-datasets-low-resource/) — Francisco Guzmán, Peng-Jen Chen, Myle Ott, et al. · 2019 - [What you can cram into a single $&!#* vector: Probing sentence embeddings for linguistic properties](https://md.research.elamur.ai/free/en/papers/conneau-2018-what-you-can-cram-into/) — Alexis Conneau, German Kruszewski, Guillaume Lample, et al. · 2018 - [Unsupervised Machine Translation Using Monolingual Corpora Only](https://md.research.elamur.ai/free/en/papers/lample-2017-unsupervised-machine-translation-using-monolingual/) — Guillaume Lample, Alexis Conneau, Ludovic Denoyer, et al. · 2017 - [Massively Multilingual Word Embeddings](https://md.research.elamur.ai/free/en/papers/ammar-2016-massively-multilingual-word-embeddings/) — Waleed Ammar, George Mulcaire, Yulia Tsvetkov, et al. · 2016