TY  - RPRT
TI  - On the Degree Automatability of Sum-of-Squares Proofs
AU  - Alex Bortolotti
AU  - Monaldo Mastrolilli
AU  - Luis Felipe Vargas
PY  - 2025
UR  - https://arxiv.org/abs/2504.17756
ID  - 2504.17756
ER  -