Deep-Learning Models for Mathematics and Type Theory

Today, deep-learning models, such as LLMs (large language models), are used in a range of areas. In this workshop we will focus on their applications in mathematics and type theory.

Exciting results are already coming up. For instance, AlphaProof combines statistical methods with proof search to solve problems at the level of mathematical olympiads.

We will bring together people working on different the aspects of the above: both mathematicians interested in formalisation as well experts on machine-learning.

See the schedule here