Lean 4
1 article sur la période mentionnant Lean 4.
Abonnement email en préparation — bientôt disponible.
Période
Chargement du tableau de bord…
factae · tag · lean-41 résultat
~/tags ❯
0123/04 20:05scienceLes modèles de langage de 699 milliards paramètres : formalisation partielle en Lean 4