ALEA Days 2025 / Journées ALEA 2025

Collection ALEA Days 2025 / Journées ALEA 2025

Organisateur(s) Fang, Wenjie ; Jugé, Vincent ; Noy, Marc ; Pivoteau, Carine

Date(s) 17/03/2025 - 21/03/2025

URL associée https://conferences.cirm-math.fr/3341.html

00:00:00 / 00:00:00

1 5

Maths and AI

De Marc Lelarge

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

Date de captation 18/03/2025
Date de publication 31/03/2025
Institut CIRM
Licence CC BY NC ND
Langue Français
Audience Chercheurs, Doctorants
Réalisateur(s) Guillaume Hennenfent
Format MP4

Données de citation

DOI 10.24350/CIRM.V.20328103
Citer cette vidéo Lelarge, Marc (18/03/2025). Maths and AI. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20328103
URL https://dx.doi.org/10.24350/CIRM.V.20328103

Domaine(s)

Codes MSC

Document(s)

Dernières questions liées sur MathOverflow

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

Poser une question sur MathOverflow

Toutes les vidéos de la collection

59:24

publiée le 31 mars 2025

Maths and AI

De Marc Lelarge

01:14:19

publiée le 31 mars 2025

Algorithmic methods for enumerative combinatorics - lecture 1

De Christoph Koutschan

01:16:04

publiée le 31 mars 2025

Algorithmic methods for enumerative combinatorics - lecture 2

De Christoph Koutschan

30:08

publiée le 31 mars 2025

Chaînes montantes-descendantes et limites d'échelle

De Valentin Feray

21:35

publiée le 31 mars 2025

Pattern avoiding 3-permutations and triangle bases

De Juliette Schabanel

Copyright Carmin.tv 2025

Donner son avis