Chercheur à l’INRIA et professeur à temps partiel à l’École normale supérieure (ENS), Marc Lelarge travaille à l’intersection du raisonnement mathématique et de l’intelligence artificielle. Ses recherches portent notamment sur la démonstration automatique de théorèmes, l’automatisation du code, l’apprentissage profond sur graphes et le machine learning informé par la physique.