Apparaît dans la collection : ALEA Days 2025 / Journées ALEA 2025

Dans cet exposé, je parlerai de deux travaux récents: le premier sur l'utilisation des grands modèles de langage pour la formalisation des mathématiques et le second sur l'utilisation d'architectures de réseaux de neurones graphiques pour apprendre des problèmes d'optimisation combinatoire.