Name: Conference FLAIM: Formal Languages, AI and Mathematics
Start: 2022-11-03T08:40:00+01:00
End: 2022-11-04T19:00:00+01:00
Location: Institut Henri Poincaré

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