David Steurer
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 3 in the filters
on a stage with
never shared a talk
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| From Proofs to Algorithms for Machine Learning Problems | Hierarchies, Extended Formulations and Matrix-Analytic Techniques (2017) | 2017-11-06 |
Claims that many ML estimation gaps close when identifiability admits a concrete low-degree proof: sum-of-squares proofs capture the certificate, yield convex… | ||
| Average-Case Overcomplete Tensor Decomposition | Random Instances and Phase Transitions (Simons Institute, 2016) | 2016-05-02 |
Presents a concrete algorithmic path: use sum-of-squares pseudo-distributions to “lift third to sixth moments”, enforce a spectral-norm/maximum-entropy… | ||
| The Edge of Tractability: Unique Games vs Sum of Squares | Semidefinite Optimization, Approximation and Applications 2014 | 2014-09-24 |
Argues that the sum-of-squares meta-algorithm formally captures the strongest known approximation methods, gives certificates (low-degree SOS proofs) that rule… | ||
| nothing matches | ||