Introduction

• Aurélien Rodriguez

Room: Amphithéâtre Hermite

How can machine learning help pure mathematicians?

• Geordie Williamson

Room: Amphithéâtre Hermite

Mathematical reasoning capabilities of large language models

• Stanislas Polu

Room: Amphithéâtre Hermite

Formalized mathematics for mathematicians

• Patrick Massot

Room: Amphithéâtre Hermite

Autoformalization with Large Language Models

• Tony Wu

Room: Amphithéâtre Hermite

Post quantum cryptography with transformers

• Kristin Lauter

Room: Amphithéâtre Hermite

Formal mathematical reasoning using graph search

• Guillaume Lample & Marie Anne Lachaux

Room: Amphithéâtre Hermite

Computer-Aided Cryptography

• Pierre Yves Strub

Room: Amphithéâtre Hermite

Using machine learning to guide intuition in mathematics

• Alex Davies

Room: Amphithéâtre Hermite

Beyond the Liquid Tensor Experiment

• Kevin Buzzard

Room: Amphithéâtre Hermite

Security in Machine Learning

• Lê Nguyên Hoang

Room: Amphithéâtre Hermite

Transformers in mathematics

• Francois Charton

Room: Amphithéâtre Hermite

Guessing solutions to mathematical problems and learning maths from examples

• Amaury Hayat

Room: Amphithéâtre Hermite