Lachaux, Marie-Anne

4 publications

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

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

ICLR 2020 Poly-Encoders: Architectures and Pre-Training Strategies for Fast and Accurate Multi-Sentence Scoring Samuel Humeau, Kurt Shuster, Marie-Anne Lachaux, Jason Weston

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