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
#verificacion formal
1 nota publicada
Etiquetas relacionadas
Otros temas que aparecen junto a #verificacion formal en nuestra cobertura editorial.