Marie-Anne Lachaux

representation learning (1) reinforcement learning (1) self-supervised learning (1) neural machine translation (1) code generation (1) automated reasoning (1) source code (1) latent variable (1) proof search (1) automated theorem proving (1) neural theorem proving (1) diverse translation (1) code translation (1) unsupervised machine translation (1) programming language (1) one-to-many mapping (1) online training (1) neural network (1) target conditioning (1) domain conditioning (1)