Leanstral 1.5: Abundancia de pruebas para todos

robot
Generación de resúmenes en curso
ME AI Noticias, Mistral AI lanzó hoy Leanstral 1.5, un modelo de verificación formal de código abierto con licencia Apache-2.0, con 119B de parámetros totales y solo 6B activos. Alcanzó el 100% de saturación en miniF2F, resolvió 587/672 problemas en PutnamBench, y obtuvo SOTA en FATE-H (87%) y FATE-X (34%). El entrenamiento incluyó mid-training, SFT y aprendizaje por refuerzo basado en CISPO. Posee capacidad de demostración agente y descubrió 5 bugs desconocidos en 57 repositorios de código abierto. El modelo ya está disponible a través de HuggingFace y una API gratuita.
🔗 Leer original:
Ver original
Esta página puede contener contenido de terceros, que se proporciona únicamente con fines informativos (sin garantías ni declaraciones) y no debe considerarse como un respaldo por parte de Gate a las opiniones expresadas ni como asesoramiento financiero o profesional. Consulte el Descargo de responsabilidad para obtener más detalles.
  • Recompensa
  • Comentar
  • Republicar
  • Compartir
Comentar
Añadir un comentario
Añadir un comentario
Sin comentarios
  • Fijado