Sum-of-squares proofs and the quest toward optimal algorithms

Re-assign community