Josef Urban: Autoformalization - ten years into the game

Поделиться
HTML-код
  • Опубликовано: 11 июл 2024
  • A 20-minute talk about the various past, current and future approaches/ideas.

Комментарии •

Следующие
Автовоспроизведение
Natarajan Shankar: Cueology of Proof39:02Natarajan Shankar: Cueology of Proof
Natarajan Shankar: Cueology of ProofHausdorff Center for Mathematics
Просмотров 93
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA54:32Tony Wu - Autoformalization with Large Language Models - IPAM at UCLA
Tony Wu - Autoformalization with Large Language Models - IPAM at UCLAInstitute for Pure & Applied Mathematics (IPAM)
Просмотров 2,2 тыс.
Math News: The Bunkbed conjecture was just debunked!!!!!!!14:59Math News: The Bunkbed conjecture was just debunked!!!!!!!
Math News: The Bunkbed conjecture was just debunked!!!!!!!Dr. Trefor Bazett
Просмотров 146 тыс.
Why a Family Left Their House Designed for Category 5 Storm01:34Why a Family Left Their House Designed for Category 5 Storm
Why a Family Left Their House Designed for Category 5 StormInside Edition
Просмотров 1,2 млн
12 Unspoken Rules NOT to Break in Japan25:5312 Unspoken Rules NOT to Break in Japan
12 Unspoken Rules NOT to Break in JapanAbroad in Japan
Просмотров 756 тыс.
DECORATING FOR HALLOWEEN w/ BNS !!31:40DECORATING FOR HALLOWEEN w/ BNS !!
DECORATING FOR HALLOWEEN w/ BNS !!B N S
Просмотров 194 тыс.
Shakira - Soltera (Official Lyric Video)03:35Shakira - Soltera (Official Lyric Video)
Shakira - Soltera (Official Lyric Video)Shakira
Просмотров 4,9 млн
Lars Becker: On the Fourier weight of F2 polynomials36:18Lars Becker: On the Fourier weight of F2 polynomials
Lars Becker: On the Fourier weight of F2 polynomialsHausdorff Center for Mathematics
Просмотров 56
Florian Weimer: Mid-term larger projects for glibc (take two) - GNU Tools Cauldron 202456:46Florian Weimer: Mid-term larger projects for glibc (take two) - GNU Tools Cauldron 2024
Florian Weimer: Mid-term larger projects for glibc (take two) - GNU Tools Cauldron 2024GNU Tools Cauldron
Просмотров 41
Rory Sutherland - Are We Now Too Impatient to Be Intelligent? | Nudgestock 202431:27Rory Sutherland – Are We Now Too Impatient to Be Intelligent? | Nudgestock 2024
Rory Sutherland - Are We Now Too Impatient to Be Intelligent? | Nudgestock 2024Nudgestock
Просмотров 417 тыс.
(EXCLUSIVE) Boris Johnson: "They Were Looking at Engineering the Virus & The Government Bribed Me!"1:53:38(EXCLUSIVE) Boris Johnson: "They Were Looking at Engineering the Virus & The Government Bribed Me!"
(EXCLUSIVE) Boris Johnson: "They Were Looking at Engineering the Virus & The Government Bribed Me!"The Diary Of A CEO
Просмотров 805 тыс.
Think Fast, Talk Smart: Communication Techniques58:20Think Fast, Talk Smart: Communication Techniques
Think Fast, Talk Smart: Communication TechniquesStanford Graduate School of Business
Просмотров 41 млн
If You Are 70-80 Years Old and Can Still Do These 3 THINGS, You Are a RARE GEM | Buddhist Teachings38:54If You Are 70-80 Years Old and Can Still Do These 3 THINGS, You Are a RARE GEM | Buddhist Teachings
If You Are 70-80 Years Old and Can Still Do These 3 THINGS, You Are a RARE GEM | Buddhist TeachingsJourney Within
Просмотров 71
Fields Medal: Hugo Duminil-Copin6:45Fields Medal: Hugo Duminil-Copin
Fields Medal: Hugo Duminil-CopinSimons Foundation
Просмотров 181 тыс.
Babel Lecture 2022 with Stephen Fry: 'What we have here is a failure to communicate' (17/06/22)45:08Babel Lecture 2022 with Stephen Fry: 'What we have here is a failure to communicate' (17/06/22)
Babel Lecture 2022 with Stephen Fry: 'What we have here is a failure to communicate' (17/06/22)Babel: The Language Magazine
Просмотров 401 тыс.
How to Make a Presentation Deck that Doesn't Stink | Christine vs. Work9:59How to Make a Presentation Deck that Doesn't Stink | Christine vs. Work
How to Make a Presentation Deck that Doesn't Stink | Christine vs. WorkHarvard Business Review
Просмотров 158 тыс.
Is the VAR right?!😱#footballplayer #futbol #soccerplayer #soccer #football #futbolista #var *ad00:29Is the VAR right?!😱#footballplayer #futbol #soccerplayer #soccer #football #futbolista #var *ad
Is the VAR right?!😱#footballplayer #futbol #soccerplayer #soccer #football #futbolista #var *adTOUZANI TV
Просмотров 6 млн
wearing or styling? 💖 Save & subscribe for #styletips #shorts00:12wearing or styling? 💖 Save & subscribe for #styletips #shorts
wearing or styling? 💖 Save & subscribe for #styletips #shortsBO BROWN
Просмотров 8 млн
Bro think he the MC.. 😂👊🔥00:20Bro think he the MC.. 😂👊🔥
Bro think he the MC.. 😂👊🔥KING VADER
Просмотров 14 млн
🤔Где сапфировое стекло в смартфоне? 📱00:52🤔Где сапфировое стекло в смартфоне? 📱
🤔Где сапфировое стекло в смартфоне? 📱Не шарю!
Просмотров 326 тыс.
Инопланетный тембр Дианы Анкудиновой 💔00:41Инопланетный тембр Дианы Анкудиновой 💔
Инопланетный тембр Дианы Анкудиновой 💔MUZLOFT
Просмотров 641 тыс.
Изъятие и заморозка вкладов / Покупка долларов / Что удивило сильнее всего? || Дмитрий Потапенко*33:01Изъятие и заморозка вкладов / Покупка долларов / Что удивило сильнее всего? || Дмитрий Потапенко*
Изъятие и заморозка вкладов / Покупка долларов / Что удивило сильнее всего? || Дмитрий Потапенко*Дмитрий ПОТАПЕНКО
Просмотров 218 тыс.
Comedy Club: Телефонные мошенники | Тимур Батрутдинов, Демис Карибидис @ComedyClubRussia12:39Comedy Club: Телефонные мошенники | Тимур Батрутдинов, Демис Карибидис @ComedyClubRussia
Comedy Club: Телефонные мошенники | Тимур Батрутдинов, Демис Карибидис @ComedyClubRussiaComedy Club
Просмотров 467 тыс.
Я просто хотел снять какое то видео00:33Я просто хотел снять какое то видео
Я просто хотел снять какое то видеоMiracle
Просмотров 754 тыс.