Omega: un punto de referencia de matemáticas estructuradas para investigar los límites de razonamiento de LLMS
Introducción a la generalización en razonamiento matemático Los modelos de lenguaje a gran escala con un razonamiento largo de cuna, como Deepseek-R1, han mostrado buenos resultados en las matemáticas a…