Conference FLAIM: Formal Languages, AI and Mathematics
de
jeudi 3 novembre 2022 (08:40)
à
vendredi 4 novembre 2022 (19:00)
lundi 31 octobre 2022
mardi 1 novembre 2022
mercredi 2 novembre 2022
jeudi 3 novembre 2022
09:00
Introduction
-
Aurélien Rodriguez
Introduction
Aurélien Rodriguez
09:00 - 09:10
Room: Amphithéâtre Hermite
09:10
How can machine learning help pure mathematicians?
-
Geordie Williamson
How can machine learning help pure mathematicians?
Geordie Williamson
09:10 - 10:10
Room: Amphithéâtre Hermite
10:10
Coffee break
Coffee break
10:10 - 10:40
Room: Amphithéâtre Hermite
10:40
Mathematical reasoning capabilities of large language models
-
Stanislas Polu
Mathematical reasoning capabilities of large language models
Stanislas Polu
10:40 - 11:40
Room: Amphithéâtre Hermite
11:45
Formalized mathematics for mathematicians
-
Patrick Massot
Formalized mathematics for mathematicians
Patrick Massot
11:45 - 12:45
Room: Amphithéâtre Hermite
12:45
Lunch break
Lunch break
12:45 - 14:30
Room: Amphithéâtre Hermite
14:30
Autoformalization with Large Language Models
-
Tony Wu
Autoformalization with Large Language Models
Tony Wu
14:30 - 15:30
Room: Amphithéâtre Hermite
15:30
Coffee break
Coffee break
15:30 - 16:00
Room: Amphithéâtre Hermite
16:00
Post quantum cryptography with transformers
-
Kristin Lauter
Post quantum cryptography with transformers
Kristin Lauter
16:00 - 17:00
Room: Amphithéâtre Hermite
17:05
Formal mathematical reasoning using graph search
-
Guillaume Lample & Marie Anne Lachaux
Formal mathematical reasoning using graph search
Guillaume Lample & Marie Anne Lachaux
17:05 - 18:05
Room: Amphithéâtre Hermite
vendredi 4 novembre 2022
09:00
Computer-Aided Cryptography
-
Pierre Yves Strub
Computer-Aided Cryptography
Pierre Yves Strub
09:00 - 10:00
Room: Amphithéâtre Hermite
10:00
Coffee break
Coffee break
10:00 - 10:30
Room: Amphithéâtre Hermite
10:30
Using machine learning to guide intuition in mathematics
-
Alex Davies
Using machine learning to guide intuition in mathematics
Alex Davies
10:30 - 11:30
Room: Amphithéâtre Hermite
11:35
Beyond the Liquid Tensor Experiment
-
Kevin Buzzard
Beyond the Liquid Tensor Experiment
Kevin Buzzard
11:35 - 12:35
Room: Amphithéâtre Hermite
12:35
Lunch break
Lunch break
12:35 - 14:30
Room: Amphithéâtre Hermite
14:30
Security in Machine Learning
-
Lê Nguyên Hoang
Security in Machine Learning
Lê Nguyên Hoang
14:30 - 15:30
Room: Amphithéâtre Hermite
15:30
Coffee break
Coffee break
15:30 - 16:00
Room: Amphithéâtre Hermite
16:00
Transformers in mathematics
-
Francois Charton
Transformers in mathematics
Francois Charton
16:00 - 17:00
Room: Amphithéâtre Hermite
17:05
Guessing solutions to mathematical problems and learning maths from examples
-
Amaury Hayat
Guessing solutions to mathematical problems and learning maths from examples
Amaury Hayat
17:05 - 18:05
Room: Amphithéâtre Hermite