---
titre: "Biographie de Marie-Anne Lachaux"
description: "Biographie de Marie-Anne Lachaux : parcours à Meta et Mistral AI, TransCoder, preuve automatique, LLaMA et collaborations avec Guillaume Lample."
rubrique: "Sciences & Tech"
type: "Biographie"
date_publication: 2026-11-02
url: https://sciences-tech.krinein.com/biographie-marie-anne-lachaux/
editeur: Krinein (https://www.krinein.com)
---

# Biographie de Marie-Anne Lachaux

Ingénieure de recherche passée par Meta et Mistral AI, Marie-Anne Lachaux a contribué à TransCoder, LLaMA et Mixtral, notamment aux côtés de Guillaume Lample.

Marie-Anne Lachaux est une ingénieure de recherche en intelligence artificielle, diplômée de Télécom Paris. Son nom figure parmi les auteurs de TransCoder, du premier LLaMA et des modèles Mistral 7B et Mixtral. Ces travaux la conduisent à collaborer à plusieurs reprises avec [Guillaume Lample](https://sciences-tech.krinein.com/biographie-guillaume-lample/) et [Timothée Lacroix](https://sciences-tech.krinein.com/biographie-timothee-lacroix/).

## TransCoder, traduire un programme

Chez Facebook AI Research, Lachaux travaille sur l’apprentissage de représentations du code informatique. En 2020, elle est première auteure de *Unsupervised Translation of Programming Languages*, avec Baptiste Rozière, Lowik Chanussot et Lample. Le système présenté, TransCoder, vise la traduction entre C++, Java et Python.

Le modèle apprend à partir de code disponible dans chaque langage, sans exiger un grand ensemble de programmes déjà traduits par paires. Les ressemblances entre langages servent de point d’appui, puis l’entraînement améliore progressivement les traductions. Les expériences évaluent notamment des fonctions au moyen de tests. Cela reste une condition importante pour l’usage : un programme qui semble plausible doit encore produire les résultats attendus.

## Des preuves formelles aux grands modèles de langage

En 2022, Lachaux participe à *HyperTree Proof Search for Neural Theorem Proving*, avec notamment Lample et Lacroix. Le travail associe réseaux neuronaux et recherche de preuves dans des environnements formels, dont Lean et Metamath. L’objectif est de construire des démonstrations acceptées par un vérificateur, ce qui impose d’autres contraintes que la génération d’une explication convaincante en français.

Elle figure ensuite parmi les auteurs du premier LLaMA de Meta, présenté en février 2023. Cette famille de modèles de langage réunit notamment [Hugo Touvron](https://sciences-tech.krinein.com/biographie-hugo-touvron/), Lacroix et Lample. La même année, elle rejoint l’équipe initiale de Mistral AI. Elle cosigne les articles de Mistral 7B et Mixtral, deux étapes importantes des premiers modèles diffusés par l’entreprise.

Dans sa présentation professionnelle, Lachaux décrit cinq années comme ingénieure de recherche à Meta, puis son arrivée chez Mistral en 2023. Elle se présente désormais comme consultante scientifique en IA, avec une attention particulière aux données, aux évaluations et à la conduite des expériences. Son parcours illustre la diversité du travail derrière les modèles : traduire du code, chercher une preuve, entraîner un modèle généraliste et vérifier que les progrès mesurés correspondent bien au problème posé.

---

*Biographie publié par Krinein, magazine culturel francophone. Version HTML : https://sciences-tech.krinein.com/biographie-marie-anne-lachaux/*