Onglet précédentOnglet suivant
Imprimer
PDF
Plein écran
Vue détaillée
Filtre
09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
Aurélien Rodriguez
Introduction
Amphithéâtre Hermite, Institut Henri Poincaré
09:00 - 09:10
Geordie Williamson
How can machine learning help pure mathematicians?
Amphithéâtre Hermite, Institut Henri Poincaré
09:10 - 10:10
Coffee break
Amphithéâtre Hermite, Institut Henri Poincaré
10:10 - 10:40
Stanislas Polu
Mathematical reasoning capabilities of large language models
Amphithéâtre Hermite, Institut Henri Poincaré
10:40 - 11:40
Patrick Massot
Formalized mathematics for mathematicians
Amphithéâtre Hermite, Institut Henri Poincaré
11:45 - 12:45
Lunch break
Amphithéâtre Hermite, Institut Henri Poincaré
12:45 - 14:30
Tony Wu
Autoformalization with Large Language Models
Amphithéâtre Hermite, Institut Henri Poincaré
14:30 - 15:30
Coffee break
Amphithéâtre Hermite, Institut Henri Poincaré
15:30 - 16:00
Kristin Lauter
Post quantum cryptography with transformers
Amphithéâtre Hermite, Institut Henri Poincaré
16:00 - 17:00
Guillaume Lample & Marie Anne Lachaux
Formal mathematical reasoning using graph search
Amphithéâtre Hermite, Institut Henri Poincaré
17:05 - 18:05
Mise à jour de l'ordre du jour...
