Mistral AI lance Leanstral 1.5, l'IA gratuite qui vérifie l'exactitude de votre code, un modèle d'agent de code Lean 4 open source capable de résoudre 587 des 672 problèmes du PutnamBench
Mistral AI a lancé Leanstral 1.5. Il s'agit d'un modèle d'agent de code conçu pour Lean 4. Cette version est destinée à la démonstration automatisée de théorèmes et à l'ingénierie de la démonstration. Les poids sont disponibles sous licence Apache 2.0. L'architecture est de type « mixture-of-experts », ou MoE. Un...
Mistral AI lance Leanstral 1.5, l’IA gratuite qui vérifie l’exactitude de votre code, un modèle d’agent de code Lean 4 open source capable de résoudre 587 des 672 problèmes du PutnamBench
Mistral AI lance Leanstral 1.5, l'IA gratuite qui vérifie l'exactitude de votre code, un modèle d'agent de code Lean 4 open source capable de résoudre 587 des 672 problèmes du PutnamBenchMistral AI a lancé Leanstral 1.5. Il s'agit d'un modèle d'agent d...