English
Maths and AI
Multi angle
Auteurs : Lelarge, Marc (Auteur de la Conférence)
CIRM (Editeur )
03B35 - Mechanization of proofs and logical operations
05C60 - Isomorphism problems (reconstruction conjecture, perfect graphs, etc.)
68T07 - Artificial neural networks and deep learning
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/3341/Slides/Long-Lelarge.pdf
https://docs.google.com/presentation/d/1u_CR7c_RSOLqyNw63JUUeDLv4rcVeRs1_jl7PxkCwAU/edit?usp=sharing
CIRM (Editeur )
Loading the player...
|
Résumé :
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.
Keywords : graph neural networks; large language models; theorem prover
Codes MSC : Keywords : graph neural networks; large language models; theorem prover
03B35 - Mechanization of proofs and logical operations
05C60 - Isomorphism problems (reconstruction conjecture, perfect graphs, etc.)
68T07 - Artificial neural networks and deep learning
Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/3341/Slides/Long-Lelarge.pdf
https://docs.google.com/presentation/d/1u_CR7c_RSOLqyNw63JUUeDLv4rcVeRs1_jl7PxkCwAU/edit?usp=sharing
|
Informations sur la Vidéo
Réalisateur : Hennenfent, GuillaumeLangue : Français Date de publication : 00/00/0000 Date de captation : 18/03/2025 Sous collection : Research School arXiv category : Computer Science ; Artificial Intelligence ; Machine Learning Domaine : Computer Science Format : MP4 (.mp4) - HD Durée : 00:59:24 Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2025-03-18_Lelarge.mp4 
|
Informations sur la Rencontre
Nom de la rencontre : ALEA Days / Journées ALEAOrganisateurs de la rencontre : Fang, Wenjie ; Noy, Marc ; Pivoteau, Carine Dates : 17/03/2025 - 21/03/2025 Année de la rencontre : 2025 URL Congrès : https://conferences.cirm-math.fr/3341.html
Données de citation
DOI : 10.24350/CIRM.V.20328103Citer cette vidéo: Lelarge, Marc (2025). Maths and AI. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20328103 URI : http://dx.doi.org/10.24350/CIRM.V.20328103 |
Voir aussi
- [Multi angle] Algorithmic methods for enumerative combinatorics - lecture 2 / Auteur de la Conférence Koutschan, Christoph.
- [Multi angle] Pattern avoiding 3-permutations and triangle bases / Auteur de la Conférence Schabanel, Juliette.
- [Multi angle] Algorithmic methods for enumerative combinatorics - lecture 1 / Auteur de la Conférence Koutschan, Christoph.
- [Multi angle] Chaînes montantes-descendantes et limites d'échelle / Auteur de la Conférence Féray, Valentin.
Bibliographie
Imagette Video
