On the Degree Automatability of Sum-Of-Squares Proofs. - Alex Bortolotti; Monaldo Mastrolilli; Luis Felipe Vargas (ICALP, 2025)