Collection Bourbaki - Juin 2014
Session du 21 juin 2014 - Exposés 1085 à 1088
Appears in collection : Séminaire Bourbaki
Mathematics
and Interactions
-
All the collection videos (4)
![[1085] Théorie des types dépendants et axiome d'univalence]()
01:19:57published on June 21, 2014[1085] Théorie des types dépendants et axiome d'univalence
By Thierry Coquand
![[1085] Théorie des types dépendants et axiome d'univalence](/media/cache/video_light/uploads/video/video-bcb9925c99f0fbef13d673ed5b4793e1.jpg)
![[1086] Developments in formal proofs](/media/cache/video_light/uploads/video/video-ce2a6dc8fc1735a3b803503c0f34563e.jpg)
![[1087] La conjecture de courbure $L^2$](/media/cache/video_light/uploads/video/video-7c75664be2af3aeb626632511afb25a1.jpg)
![[1088] Le problème de Kadison-Singer](/media/cache/video_light/uploads/video/video-b0a48a27494165d826a5083b86c9ab9b.jpg)
-
Suggestions
![Exploring the High-dimensional Random Landscapes of Data Science (3/3)]()
01:41:01published on June 27, 2025Exploring the High-dimensional Random Landscapes of Data Science (3/3)
By Gérard Ben Arous
![Generative AI and Diffusion Models: a Statistical Physics Analysis (2/3)]()
01:30:29published on June 26, 2025Generative AI and Diffusion Models: a Statistical Physics Analysis (2/3)
By Giulio Biroli
![Generative AI and Diffusion Models: a Statistical Physics Analysis (1/3)]()
01:38:54published on June 25, 2025Generative AI and Diffusion Models: a Statistical Physics Analysis (1/3)
By Giulio Biroli
![Exploring the High-dimensional Random Landscapes of Data Science (1/3)]()
01:33:13published on June 24, 2025Exploring the High-dimensional Random Landscapes of Data Science (1/3)
By Gérard Ben Arous
![Exploring the High-dimensional Random Landscapes of Data Science (2/3)]()
01:33:01published on June 24, 2025Exploring the High-dimensional Random Landscapes of Data Science (2/3)
By Gérard Ben Arous
