Marie-Anne Lachaux
5 papers · 2020–2022 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Silver
🗺️
Taxonomy Completionist
(12)
🧭
Keyword Pioneer
Venues
Top co-authors
Research topics
Machine Learning
(4)
Learning Types · Machine Learning
(4)
Computer Science
(2)
Deep Learning
(2)
Natural Language Processing
(2)
Applications · Natural Language Processing
(2)
Core Methods
(2)
Artificial Intelligence
(1)
Applications · Computer Science
(1)
Architectures
(1)
Core AI
(1)
Foundations
(1)
Learning Types · Deep Learning
(1)
Optimization & Theory
(1)
Techniques
(1)
Keywords
transformer architecture
(1)
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)
sentence scoring
(1)
unsupervised machine translation
(1)
programming language
(1)
pre-training strategy
(1)
one-to-many mapping
(1)
online training
(1)
Papers
HyperTree Proof Search for Neural Theorem Proving
NeurIPS 2022
DOBF: A Deobfuscation Pre-Training Objective for Programming Languages
NeurIPS 2021
Poly-encoders: Architectures and Pre-training Strategies for Fast and Accurate Multi-sentence Scoring
ICLR 2020
Target Conditioning for One-to-Many Generation
EMNLP 2020
Unsupervised Translation of Programming Languages
NeurIPS 2020