automatability: the proof search problem
Published Streamed 1 year ago • 892 plays • Length 1:00:55Download video MP4
Download video MP3
Similar videos
-
49:23
non-automatability: when finding proofs is provably hard
-
1:00:00
proofs, circuits and total search problems
-
1:04:45
a survey of automatability
-
39:45
in search of the ideal: toni pitassi and her work on algebraic proof systems
-
30:30
open problems that baffled toni (so far)
-
32:45
theoretical limits of 1uip learning
-
16:10
proof complexity and tfnp
-
1:16:01
in search of the hard instances
-
1:21:06
applied numerical algorithms, fall 2023 (lecture 1): introduction, number systems, measuring error
-
33:38
zero knowledge proof (with avi wigderson) - numberphile
-
49:08
an algorithmic theory of brain networks
-
48:26
tfnp
-
1:03:59
the easy witness lemma
-
1:03:11
proof complexity and meta-complexity tutorial (1)
-
1:02:56
trustworthy automated reasoning
-
1:02:30
the role of proofs in mip* = re | quantum colloquium
-
41:11
proof complexity a
-
59:15
the proof complexity of integer programming
-
1:03:41
frontiers of proof complexity lower bounds via algebraic complexity & open problems
-
1:02:12
on the power of distributed verifiers in interactive proofs
-
55:40
the limits of proof