SoS1: O1 and R1-Like Reasoning LLMs are Sum-of-Square Solvers

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Li, Kechen, Zhu, Wenqi, Cartis, Coralia, Ji, Tianbo, Liu, Shiwei
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!