proofs from algorithms, algorithms from proofs - pravesh kothari
Published 6 years ago • 1.6K plays • Length 15:39Download video MP4
Download video MP3
Similar videos
-
1:08:29
sum-of-squares proofs, efficient algorithms, and applications - pravesh kothari
-
18:06
the sum-of-squares meta-algorithm for computational problems - pravesh kothari
-
1:22:10
refuting smoothed k-sat formulas and a proof of feige's conjecture - pravesh kothari
-
2:02:05
approximate constraint satisfaction requires sub-exponential size linear programs - pravesh kothari
-
32:30
the quantum approximate optimization algorithm: recent results
-
59:16
chethan krishnan | a smooth horizon without a smooth horizon
-
56:02
a gentle approach to crystalline cohomology - jacob lurie
-
1:10:12
pravesh kothari – strongly refuting all semirandom boolean csps
-
2:02:51
sum of squares lower bounds for refuting any csp - pravesh kothari
-
1:55:39
outlier-robust estimation via sum-of-squares - pravesh kothari
-
1:13:13
almost optimal sum of squares lower bound for planted clique - pravesh kothari
-
2:50:13
lecture1:basics, sum-of-squares proofs, pseudo-distributions, duality
-
1:02:31
pravesh kothari @ theory lunch
-
1:00:04
pravesh kothari @ theory lunch
-
1:07:02
pravesh kothari @ princeton theory lunch
-
1:39:53
tcs talk: double feature: pravesh kothari and ankur moitra (cmu and mit)