أصدر مختبر روبوتات كلية علوم الحاسوب والهندسة (SIGS) بجامعة تسينغهوا نموذج فيريلوب E2، وهو نموذج ما بعد التدريب بحجم 27 مليار معلمة مبني على Qwen3.8-27B، مخصص للتحقق من صحة الكود والرياضيات والاستدلال العلمي. يقدم الإصدار تكرارًا يحكمه فيريلوب (VGR)، الذي يفصل بين التوليد والتحقق الخارجي لضمان تحسين انتقالات الحالة لأبعاد الأدلة بدقة.

  • تم تدريبه بعد التدريب على 1,841,831 سجلًا تغطي هندسة البرمجيات والرياضيات والعلوم.
  • حقق نتائج تشمل 76.2% على SWE-bench Pro، و98.3% على AIME 2026، و93.94% على GPQA Diamond.
  • يوفر سلم دقة GGUF كاملًا من BF16 حتى IQ1_M، مع اشتقاق جميع المستويات مباشرة من نقطة التفتيش القياسية BF16.
  • يصل متغير IQ1_M إلى حجم 16.79 GiB بانحراف في معدل الخطأ (PPL) قدره +0.3191% فقط ويدعم فك التشفير التخميني MTP.
  • يتضمن شهادة قابلة للتكرار لنسبة الصفر على الخط الحرج لدالة زيتا لريمان ζ.

يوفر الإصدار أوزانًا مفتوحة المصدر، وأدلة تقييم، وتقارير تقنية للسماح بالتحقق المستقل من احتفاظ التكميم والأداء في المهام اللاحقة.