IA
Leanstral 1.5 de Mistral: 100% en miniF2F y caza 5 bugs
El modelo open-source (Apache 2.0) para verificación formal en Lean 4 lidera PutnamBench entre pesos abiertos y detectó overflows reales en 57 repositorios.
The Decoder
Etiqueta
#leanstral
1 nota publicada
Etiquetas relacionadas
Otros temas que aparecen junto a #leanstral en nuestra cobertura editorial.