Un nuevo conjunto de datos mejora la capacidad de los LLMs para generar código y pruebas de Coq.
― 9 minilectura
Ciencia de vanguardia explicada de forma sencilla
Un nuevo conjunto de datos mejora la capacidad de los LLMs para generar código y pruebas de Coq.
― 9 minilectura