@misc{indiciae0d1d3b2567d7,
  title = {SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers},
  author = {Kechen Li and Wenqi Zhu and Coralia Cartis and Tianbo Ji and Shiwei Liu},
  year = {2025},
  url = {https://arxiv.org/abs/2502.20545},
  note = {Source identifier: 2502.20545}
}