LongCat-Flash-Prover
Meituan · Chine
Modèle de preuve Lean4 de Meituan
- Mois de publication
- Domaine
- Autre
- Accès
- Poids ouverts
- Paramètres (taille)
- 560B
- Licence
- mit · Commercial OK
Résumé
- Enregistré sur Hugging Face le 20 mars 2026 · Poids ouverts · 560B
- Pour la formalisation, l'esquisse et la preuve en Lean4 · 97,1 % de réussite sur MiniF2F-Test avec 72 inférences par problème (annoncé par la société)
Annonce officielle ↗
← Liste des modèles