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

3 8

Autoformalization with large language models

Autoformalization is the process of automatically translating from natural language mathematics to formal specifications and proofs. A successful autoformalization system could advance the fields of formal verification, program synthesis, and artificial intelligence. While the long-term goal of autoformalization seemed elusive for a long time, we show large language models provide new prospects towards this goal.

Information about the video

Date of recording 03/11/2022
Date of publication 03/11/2022
Institution IHP
Language English
Audience Researchers, Graduate Students, 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