Más allá de las matemáticas: Aristóteles logra un SOTA del 96.8% en la generación de pruebas en VERINA: Evaluación de la Generación de Código Verificable. Puedes leer más sobre este rendimiento en nuestro blog de ingeniería enlazado en la biografía