FLAIM: Formal Languages, AI and Mathematics

Collection FLAIM: Formal Languages, AI and Mathematics

Organizer(s) Meta

Date(s) 03/11/2022 - 04/11/2022

linked URL https://indico.math.cnrs.fr/event/8087/

00:00:00 / 00:00:00

7 8

Maths with tranformers

By Francois Charton

We present several applications of transformers to problems of mathematics and theoretical physics, and discuss efforts to mitigate their limitations, out-of-distribution generalization and explainability.

Information about the video

Date of recording 04/11/2022
Date of publication 04/11/2022
Institution IHP
Language English
Audience Researchers, Graduate Students, General Public, Students
Director(s) Alexandre Duplessis, Marco Perez
Format MP4
Venue IHP - Hermite Amphitheater

Domain(s)

Machine Learning

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

All the collection videos

01:06:34

published on November 3, 2022

How can deep learning help pure mathematicians?

By Geordie Williamson

01:14:31

published on November 3, 2022

Formalized mathematics for mathematicians and AI

By Patrick Massot

01:00:39

published on November 3, 2022

Autoformalization with large language models

By Yuhuai Wu

01:13:09

published on November 4, 2022

Computer-aided cryptography

By Pierre-Yves Strub

58:23

published on November 4, 2022

Machine learning and mathematicians

By Alexander Davies

01:15:31

published on November 4, 2022

Security in machine learning

By Lê Nguyên Hoang

01:05:16

published on November 4, 2022

Maths with tranformers

By Francois Charton

59:04

published on November 4, 2022

Guessing solutions to mathematical problems and learning maths from examples

By Amaury Hayat

Copyright Carmin.tv 2024

Give feedback