josef urban: autoformalization - ten years into the game
Published 2 months ago • 102 plays • Length 24:10Download video MP4
Download video MP3
Similar videos
-
40:29
josef urban: theorem proving and ai
-
51:59
cristian gonzález-riquelme: sharp fourier restriction over finite fields
-
6:33
hausdorff center for mathematics
-
8:13
interview with michael rapoport on the occasion of gerd faltings' 70th birthday
-
5:15
the high schooler who solved a prime number theorem
-
33:41
william farmer: an alternative approach to formal mathematics
-
52:32
roland maier: achieving higher-order convergence rates in numerical homogenization
-
0:14
mathematik ist in musik - mathematics is in music
-
1:57:40
panel discussion on formalization in mathematics
-
1:05:59
noam lifshitz: inverse results for isoperimetric inequalities i
-
1:11:21
noam lifshitz: inverse results for isoperimetric inequalities iii
-
2:06
set theory by hausdorff
-
1:18:45
noam lifshitz: inverse results for isoperimetric inequalities iv