Current

Workshop
Open for registration

Deep-Learning Models for Mathematics and Type Theory

Workshop arranged by the CHAIR theme ´Large Language Models for Mathematics and Programming´.

Add to OutlookAdd to Google Calendar

Overview

Open for registration
Registration (Opens in new tab)

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.

Schedule will be published soon.

 

CHAIR Theme: Large Language Models for Mathematics and Software

Large language models, such as Chat-GPT, have demonstrated remarkable abilities to understand and generate human language. This theme explores their potential to contribute to mathematical reasoning and software creation, extending beyond traditional methods and potentially uncovering novel approaches and solutions.