أطلقت ويب أي آي (webAI) نموذج TwIL-LM، وهو عائلة من اثنين من مبرهني المنطق الرسمي تتكون من نموذجين بـ 1.7B و3B معلمة مصممة للتشكيل التلقائي على الأجهزة المحلية. تترجم النماذج اللغة الإنجليزية إلى منطق الرتبة الأولى وتحقق صحة الاستنتاجات، حيث حقق المتغير ذو الـ 3B درجة بوابة إجمالية تبلغ 0.4218 في مهام المنطق الرسمي ضمن المجال.

  • يُعد TwIL-LM3 (3B) دمجًا للضبط الدقيق لنموذج SmolLM3-3B، بينما يعد نموذج الـ 1.7B محول LoRA من نوع PEFT مخصصًا لـ SmolLM2-1.7B-Instruct.
  • يعمل كلا النموذجين محليًا مع إصدارات مضغوطة بحجم 1.06 GB و1.78 GiB على التوالي، مما يتطلب فقط 4 GB من ذاكرة الفيديو (VRAM).
  • تضمن التدريب ضبط LoRA الخاضع للإشراف، ودمج نقاط التفتيش، واستيفاء WiSE-FT عند λ = 0.25، بالإضافة إلى MGPO مقابل مدقق برمجي.
  • يتصدر TwIL-LM3 جميع الفروع حتى نموذج LFM2.5-8B-A1B في ستة مسارات موضوعية، لكنه يتخلف عن gpt-oss-120b في المتوسط العام للمسارات الستة (0.4488 مقابل 0.5192).
  • ينتج النموذج ذو الـ 3B أقصر التوليدات بواقع 482 رمزًا، مما يحقق 32.9 إجابة في الثانية مقارنة بـ gpt-oss-120b الذي ينتج 4.2.

يتيح هذا الإصدار التنفيذ المحلي للبيئات الحساسة للبيانات مثل عمليات الامتثال والقانونية، مما يوفر توازنًا بين الأداء داخل المجال والاحتفاظ بالقدرة على البيانات غير المستخدمة في التدريب.