Paper #14 · Razonamiento
Let's Verify Step by Step
Verifiquemos paso a paso
- Autores:
- Lightman, Kosaraju, Burda, Edwards, Baker, Lee, Leike, Schulman, Sutskever y Cobbe
- Institución:
- OpenAI
- Año:
- 2023 · arXiv:2305.20050
En pocas palabras
Para entrenar un verificador de soluciones matemáticas, es mucho mejor que las personas califiquen cada paso del razonamiento (supervisión del proceso) que solo si la respuesta final es correcta (supervisión del resultado). El verificador por pasos elige soluciones correctas el 78 % de las veces en MATH.
Por qué importa hoy: Compara supervisar solo el resultado contra supervisar cada paso, y muestra el valor de los Process Reward Models.
El problema
Los modelos cometen errores lógicos a mitad de un razonamiento. Un verificador entrenado solo con el resultado final no sabe dónde está el error y puede premiar soluciones que aciertan por casualidad con pasos incorrectos.
Ideas clave
Resultado contra proceso
Un Outcome Reward Model aprende de si la respuesta final es correcta. Un Process Reward Model (PRM) aprende de etiquetas humanas en cada paso: positivo, negativo o neutral.
Buscar con el verificador
El generador produce muchas soluciones y el PRM elige la mejor, puntuando la solución como la probabilidad de que todos sus pasos sean correctos.
Aprendizaje activo
En lugar de etiquetar soluciones al azar, se priorizan las que engañan al verificador actual: respuestas convincentes pero incorrectas. Eso hace la anotación mucho más eficiente.
Alineación como beneficio
Supervisar el proceso recompensa razonamientos que las personas pueden seguir y aprobar, no solo resultados. Los autores lo presentan como una rara ventaja de alineación sin costo de rendimiento.
Resultados
- El modelo con supervisión de proceso resuelve 78 % de un subconjunto representativo del benchmark MATH.
- La ventaja sobre la supervisión de resultado crece conforme se consideran más soluciones candidatas.
- Publicación de PRM800K: 800 000 etiquetas humanas a nivel de paso.
Legado
Los Process Reward Models y la verificación por pasos se volvieron pieza central de la investigación sobre razonamiento y de las estrategias de cómputo en inferencia, como la que estudia Snell et al.
Conceptos para leerlo
Explicación original en español elaborada por AI Atlas; no es una traducción del paper. El texto completo pertenece a sus autores.