Te presentamos REFACTOR, un sistema para la extracción automática de teoremas a partir de pruebas matemáticas.
― 8 minilectura
Yuhuai Wu
El método DTV mejora la fiabilidad de las respuestas de los modelos de lenguaje grandes en problemas de matemáticas.
― 7 minilectura