TY  - RPRT
TI  - SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers
AU  - Kechen Li
AU  - Wenqi Zhu
AU  - Coralia Cartis
AU  - Tianbo Ji
AU  - Shiwei Liu
PY  - 2025
UR  - https://arxiv.org/abs/2502.20545
ID  - 2502.20545
ER  -