TY - RPRT TI - Machinery for Proving Sum-of-Squares Lower Bounds on Certification Problems AU - Aaron Potechin AU - Goutham Rajendran PY - 2023 UR - https://arxiv.org/abs/2011.04253 ID - 2011.04253 ER -