Search Results for author: Marie-Anne Lachaux

Found 11 papers, 9 papers with code

HyperTree Proof Search for Neural Theorem Proving

no code implementations23 May 2022 Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix

With a similar computational budget, we improve the state of the art on the Lean-based miniF2F-curriculum dataset from 31% to 42% proving accuracy.

Automated Theorem Proving

Target Conditioning for One-to-Many Generation

no code implementations Findings of the Association for Computational Linguistics 2020 Marie-Anne Lachaux, Armand Joulin, Guillaume Lample

In this paper, we propose to explicitly model this one-to-many mapping by conditioning the decoder of a NMT model on a latent variable that represents the domain of target sentences.

Decoder Diversity +4

Unsupervised Translation of Programming Languages

9 code implementations NeurIPS 2020 Marie-Anne Lachaux, Baptiste Roziere, Lowik Chanussot, Guillaume Lample

We train our model on source code from open source GitHub projects, and show that it can translate functions between C++, Java, and Python with high accuracy.

Code Translation Translation +1

Cannot find the paper you are looking for? You can Submit a new open access paper.