Articles tagués MoE

Nous avons poussé Leanstral 1.5, le nouveau LLM de Mistral dédié à Lean 4, sur trois cas concrets. Verdict pour un pro qui n'est pas mathématicien.