Lample, Guillaume

18 publications

ICML 2023 Deep Generative Symbolic Regression with Monte-Carlo-Tree-Search Pierre-Alexandre Kamienny, Guillaume Lample, Sylvain Lamprier, Marco Virgolin

ICLR 2023 Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothee Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

ICML 2022 Deep Symbolic Regression for Recurrence Prediction Stéphane D’Ascoli, Pierre-Alexandre Kamienny, Guillaume Lample, Francois Charton

NeurIPS 2022 End-to-End Symbolic Regression with Transformers Pierre-alexandre Kamienny, Stéphane d'Ascoli, Guillaume Lample, Francois Charton

NeurIPS 2022 HyperTree Proof Search for Neural Theorem Proving Guillaume Lample, Timothee Lacroix, Marie-Anne Lachaux, Aurelien Rodriguez, Amaury Hayat, Thibaut Lavril, Gabriel Ebner, Xavier Martinet

ICLR 2022 Leveraging Automated Unit Tests for Unsupervised Code Translation Baptiste Roziere, Jie Zhang, Francois Charton, Mark Harman, Gabriel Synnaeve, Guillaume Lample

NeurIPS 2021 DOBF: A Deobfuscation Pre-Training Objective for Programming Languages Marie-Anne Lachaux, Baptiste Roziere, Marc Szafraniec, Guillaume Lample

ICLR 2021 Learning Advanced Mathematical Computations from Examples Francois Charton, Amaury Hayat, Guillaume Lample

ICLR 2020 Deep Learning for Symbolic Mathematics Guillaume Lample, François Charton

NeurIPS 2020 Unsupervised Translation of Programming Languages Baptiste Roziere, Marie-Anne Lachaux, Lowik Chanussot, Guillaume Lample

NeurIPS 2019 Cross-Lingual Language Model Pretraining Alexis Conneau, Guillaume Lample

NeurIPS 2019 Large Memory Layers with Product Keys Guillaume Lample, Alexandre Sablayrolles, Marc'Aurelio Ranzato, Ludovic Denoyer, Herve Jegou

ICLR 2019 Multiple-Attribute Text Rewriting Guillaume Lample, Sandeep Subramanian, Eric Smith, Ludovic Denoyer, Marc'Aurelio Ranzato, Y-Lan Boureau

ICLR 2018 Unsupervised Machine Translation Using Monolingual Corpora Only Guillaume Lample, Alexis Conneau, Ludovic Denoyer, Marc'Aurelio Ranzato

ICLR 2018 Word Translation Without Parallel Data Guillaume Lample, Alexis Conneau, Marc'Aurelio Ranzato, Ludovic Denoyer, Hervé Jégou

AAAI 2017 Arnold: An Autonomous Agent to Play FPS Games Devendra Singh Chaplot, Guillaume Lample

NeurIPS 2017 Fader Networks:Manipulating Images by Sliding Attributes Guillaume Lample, Neil Zeghidour, Nicolas Usunier, Antoine Bordes, Ludovic Denoyer, Marc'Aurelio Ranzato

AAAI 2017 Playing FPS Games with Deep Reinforcement Learning Guillaume Lample, Devendra Singh Chaplot