00:00:00 / 00:00:00

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.

Informations sur la vidéo

Données de citation

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis