Leanstral 1.5: إثراء البراهين المتاح للجميع

robot
إنشاء الملخص قيد التقدم
ME AI خبر، أعلنت Mistral AI اليوم عن إطلاق Leanstral 1.5، وهو نموذج تحقق رسمي مفتوح المصدر بموجب ترخيص Apache-2.0، بإجمالي 119B معلمة ولكن فقط 6B نشطة. حقق تشبعًا بنسبة 100% على miniF2F، وحل 587/672 مسألة في PutnamBench، وسجل SOTA في FATE-H (87%) وFATE-X (34%). تم التدريب عبر mid-training وSFT والتعلم المعزز القائم على CISPO. يتمتع بقدرة إثبات وكيل، واكتشف 5 أخطاء غير معروفة في 57 مستودعًا مفتوح المصدر. النموذج متاح للاستخدام عبر HuggingFace وAPI مجاني. 🔗 اقرأ النص الأصلي:
شاهد النسخة الأصلية
قد تحتوي هذه الصفحة على محتوى من جهات خارجية، يتم تقديمه لأغراض إعلامية فقط (وليس كإقرارات/ضمانات)، ولا ينبغي اعتباره موافقة على آرائه من قبل Gate، ولا بمثابة نصيحة مالية أو مهنية. انظر إلى إخلاء المسؤولية للحصول على التفاصيل.
  • أعجبني
  • تعليق
  • إعادة النشر
  • مشاركة
تعليق
إضافة تعليق
إضافة تعليق
لا توجد تعليقات
  • مُثبت