Français
Maths and AI
Multi angle
Authors : Lelarge, Marc (Author of the conference)
CIRM (Publisher )
03B35 - Mechanization of proofs and logical operations
05C60 - Isomorphism problems (reconstruction conjecture, perfect graphs, etc.)
68T07 - Artificial neural networks and deep learning
Additional resources :
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 (Publisher )
Loading the player...
|
Abstract :
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
MSC Codes : 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
Additional resources :
https://www.cirm-math.fr/RepOrga/3341/Slides/Long-Lelarge.pdf
https://docs.google.com/presentation/d/1u_CR7c_RSOLqyNw63JUUeDLv4rcVeRs1_jl7PxkCwAU/edit?usp=sharing
|
Information on the Video
Film maker : Hennenfent, GuillaumeLanguage : French Available date : 00/00/0000 Conference Date : 18/03/2025 Subseries : Research School arXiv category : Computer Science ; Artificial Intelligence ; Machine Learning Mathematical Area(s) : Computer Science Format : MP4 (.mp4) - HD Video Time : 00:59:24 Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students Download : https://videos.cirm-math.fr/2025-03-18_Lelarge.mp4 
|
Information on the Event
Event Title : ALEA Days / Journées ALEAEvent Organizers : Fang, Wenjie ; Noy, Marc ; Pivoteau, Carine Dates : 17/03/2025 - 21/03/2025 Event Year : 2025 Event URL : https://conferences.cirm-math.fr/3341.html
Citation Data
DOI : 10.24350/CIRM.V.20328103Cite this video as: 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 |
See Also
- [Multi angle] Algorithmic methods for enumerative combinatorics - lecture 2 / Author of the conference Koutschan, Christoph.
- [Multi angle] Pattern avoiding 3-permutations and triangle bases / Author of the conference Schabanel, Juliette.
- [Multi angle] Algorithmic methods for enumerative combinatorics - lecture 1 / Author of the conference Koutschan, Christoph.
- [Multi angle] Chaînes montantes-descendantes et limites d'échelle / Author of the conference Féray, Valentin.
Bibliography
Imagette Video
