XYZNOT

الأوراق البحثية · arXiv 2407.21783

مجموعة نماذج Llama 3

The Llama 3 Herd of Models

تاريخ النشر cs.AIcs.CLcs.CVcs.LG arXivPDF

اقرأ مع الترجمة والذكاء الاصطناعي

الملخص في ثلاثة أسطر

  1. 🎯 بناء نماذج تأسيسية مفتوحة المصدر تنافس الأنظمة الاحتكارية المتقدمة في الاستدلال، وتعدد اللغات، والبرمجة، واستخدام الأدوات، مع التوسع بموثوقية عالية.
  2. 🔧 توسيع بنى Transformer الكثيفة (تصل إلى 405B معامل على 15.6T رمز) باستخدام التوازي رباعي الأبعاد (4D parallelism)، وشبكات RoCE مخصصة، وتوسيع سياق متعدد المراحل إلى 128K، وتدريب لاحق تكراري (SFT، وRejection Sampling، وDPO).
  3. 📈 يحقق Llama 3 405B أفضل أداء بين النماذج المفتوحة، مضاهياً نماذج مثل GPT-4 في اختبارات معيارية تشمل GSM8K (96.8%)، وHumanEval (89.0%)، وMMLU (87.3%).

الملخص

تعتمد أنظمة الذكاء الاصطناعي (AI) الحديثة على النماذج التأسيسية. تقدم هذه الورقة البحثية مجموعة جديدة من النماذج التأسيسية تُسمى Llama 3، وهي عائلة من النماذج اللغوية التي تدعم أصلاً تعدد اللغات، والبرمجة، والاستدلال، واستخدام الأدوات. أكبر نماذجنا هو نموذج كَثِيف (dense) قائم على Transformer بحجم 405B معامل ونافذة سياق تصل إلى 128K رمز. تقدم هذه الورقة تقييماً تجريبياً شاملاً لـ Llama 3؛ ونجد أنه يقدم جودة مماثلة للنماذج اللغوية الرائدة مثل GPT-4 في مجموعة واسعة من المهام. نُطلق Llama 3 بشكل مفتوح، بما في ذلك النسخ المدربة مسبقاً وتلك التي خضعت للتدريب اللاحق لنموذج 405B معامل ونموذجنا Llama Guard 3 لأمان المدخلات والمخرجات. تعرض الورقة أيضاً نتائج التجارب التي قمنا فيها بدمج قدرات معالجة الصور والفيديو والكلام في Llama 3 عبر نهج تركيبي (compositional approach). نلاحظ أن هذا النهج يحقق أداءً ينافس أفضل النماذج الحالية (state-of-the-art) في مهام التعرف على الصور والفيديو والكلام. لم تُطرح النماذج الناتجة للجمهور بعد نظراً لأنها لا تزال قيد التطوير.

الملخص الأصلي (بالإنجليزية)

Modern artificial intelligence (AI) systems are powered by foundation models. This paper presents a new set of foundation models, called Llama 3. It is a herd of language models that natively support multilinguality, coding, reasoning, and tool usage. Our largest model is a dense Transformer with 405B parameters and a context window of up to 128K tokens. This paper presents an extensive empirical evaluation of Llama 3. We find that Llama 3 delivers comparable quality to leading language models such as GPT-4 on a plethora of tasks. We publicly release Llama 3, including pre-trained and post-trained versions of the 405B parameter language model and our Llama Guard 3 model for input and output safety. The paper also presents the results of experiments in which we integrate image, video, and speech capabilities into Llama 3 via a compositional approach. We observe this approach performs competitively with the state-of-the-art on image, video, and speech recognition tasks. The resulting models are not yet being broadly released as they are still under development.

دليل القراءة

المشكلة والدوافع

تعتمد أنظمة الذكاء الاصطناعي الحديثة اعتماداً كبيراً على النماذج التأسيسية الضخمة، ومع ذلك ظلت النماذج الأكثر كفاءة (مثل GPT-4) مغلقة المصدر. يتطلب بناء نموذج مفتوح ومتاح للجميع من فئة النماذج الرائدة التغلب على عقبات هندسية هائلة عبر ثلاثة ركائز: تنقيح البيانات، وحجم الحوسبة، وإدارة التعقيد الهيكلي.

طور المؤلفون Llama 3، وهي عائلة من النماذج اللغوية متعددة اللغات تتوزع على أحجام 8B و70B و405B معلمات، وتدعم نوافذ سياق تصل إلى 128K رمز، واستخدام الأدوات في خطوة واحدة أو خطوات متعددة، والاستدلال المتقدم، وتوليد الأكواد البرمجية.


الأفكار الرئيسية

  • إدارة التعقيد باستخدام بنية كثيفة (Dense Architecture): بدلاً من التحول إلى بنى خبير المزيج (MoE)، اعتمد المؤلفون على معمارية Transformer كثيفة قياسية (126 طبقة، وبُعد 16,384، و128 رأس انتباه لنموذج 405B) مع Grouped-Query Attention (GQA) وترميز RoPE بتردد أساسي لزيادة استقرار التدريب المسبق إلى أقصى حد.
  • توسيع نطاق البيانات والفلترة الصارمة: توسع التدريب المسبق من 1.8T رمز في Llama 2 إلى حوالي 15.6T رمز عبر مجالات متنوعة (~50% معرفة عامة، و25% رياضيات/استدلال، و17% كود برمجى، و8% لغات متعددة).
  • قوانين قياس متوقعة (Predictable Scaling Laws): تم استخدام إطار عمل من مرحلتين لقوانين القياس يربط قوة الحوسبة بأداء المهام النهائية (مثل ARC Challenge) عبر أربعة مستويات أسية قبل بدء التدريب الفعلي.
  • تدريب لاحق تكراري (Iterative Post-Training): تم إجراء ست جولات من المواءمة تجمع بين Supervised Fine-Tuning (SFT) وRejection Sampling (RS) وDirect Preference Optimization (DPO) مع توليد بيانات اصطناعية موجهة.
  • توازي رباعي الأبعاد والبنية التحتية (4D Parallelism & Infrastructure): تم تدريب نموذج 405B مسبقاً عبر ما يصل إلى 16K من معالجات H100 GPUs باستخدام مزيج من Tensor Parallelism (TP) وContext Parallelism (CP) وPipeline Parallelism (PP) وFully Sharded Data Parallelism (FSDP/DP).

الطريقة (مع المعادلات الرئيسية)

1. صياغة قانون القياس (Scaling Law)

تمت نمذجة التوزيع الأمثل للرموز بالنسبة للحوسبة كدالة قانون القوة (power-law) لميزانية الحوسبة :

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

2. تمديد نافذة السياق وقناع الانتباه (Attention Masking)

تم توسيع السياق من 8K إلى 128K رمز عبر ست مراحل تدريب مسبق متواصلة دُرّب فيها على ~800B رمز. ولمنع التداخل بين المستندات المجمعة داخل تسلسل السياق الطويل نفسه، تم تطبيق قناع انتباه مخصص للمستندات (document attention mask).

يقسم Context Parallelism (CP) تسلسلات الإدخال إلى أجزاء بحجم ، ويُجري نمط اتصال all-gather عبر تمثيلات المفتاح () والقيمة (). ونظراً لأن تقنية GQA تقلل أحجام و مقارنة بالاستعلام ()، فإن الحمل الإضافي لاتصال all-gather والبالغ يُعد ضئيلاً مقارنة بحسابات الانتباه البالغة .

3. تعديلات خوارزمية Direct Preference Optimization (DPO)

في تحسين التفضيلات، تم حجب (mask out) رموز التنسيق (العناوين وعلامات الإنهاء) صراحةً من دالة خسارة DPO لمنع تكرار النهايات أو التوقف المبكر. علاوة على ذلك، أُضيف حد انتظام إضافي لسلبية اللوغاريتم الاحتمالي (NLL) للتسلسل المفضل (chosen):


النتائج (مع أهم الأرقام)

  • الاختبارات المعيارية للنموذج الرئيسي 405B:
    • MMLU (5-shot): 87.3% (0-shot CoT: 88.6%)
    • GSM8K (8-shot, CoT): 96.8%
    • MATH (0-shot, CoT): 73.8%
    • HumanEval (0-shot): 89.0%
    • ARC Challenge (0-shot): 96.9%
    • IFEval: 88.6%
  • النماذج الأصغر (8B و70B): تفوق كلا النموذجين على نظرائهما مفتوحي المصدر من نفس الفئة (مثل Gemma 2 9B، وMistral 7B، وMixtral 8x22B). على سبيل المثال، حقق Llama 3 8B نسبة 73.0% في MMLU بأسلوب 0-shot CoT و84.5% في GSM8K.
  • السياق الطويل: استرجاع مثالي بنسبة 100% في اختبار Needle-In-A-Haystack الفردي حتى 128K رمز، و98.1% في استرجاع الإبر المتعددة (Multi-needle recall) لنموذج 405B.
  • كفاءة التدريب المسبق: وصل معدل استخدام عمليات الفاصلة العائمة للنموذج (BF16 MFU) إلى 38–43% عبر التهيئات المختلفة على 16,384 من معالجات H100 GPUs، مع الحفاظ على أكثر من 90% من وقت التدريب الفعلي على مدار 54 يوماً تم رصدها على الرغم من حدوث 466 انقطاعاً.

القيود والأسئلة المفتوحة

  • موثوقية العتاد وتقلبات الحجم: عند العمل بحجم 16K وحدة معالجة رسومية، بلغ متوسط انقطاعات العتاد عدة مرات في اليوم (78% من الانقطاعات غير المتوقعة كانت ناجمة عن مشكلات العتاد/GPU). كما شكلت تقلبات الطاقة المتزامنة بمقدار عشرات الميغاوات أثناء حفظ نقاط التحقق أو الخطوات الجماعية تحدياً لشبكات الطاقة في مراكز البيانات.
  • فجوة المتانة أمام الهجمات العدائية (Adversarial Robustness): على الرغم من مرونة النموذج في اختبارات إعادة الصياغة (PAWS)، أظهرت الاختبارات العدائية في الاستدلال الرياضي والأسئلة والأجوبة (GSM-Plus، وAdv SQuAD) تراجعاً ملحوظاً مقارنة بالاختبارات القياسية غير العدائية.
  • توفر النماذج متعددة الوسائط: أظهرت موائمات (adapters) الرؤية والكلام قدرات تنافسية في البيئات البحثية، لكنها ظلت قيد التطوير النشط واستُبعدت من الإصدار الأولي للجمهور.

المصطلحات الرئيسية

4D Parallelism (التوازي رباعي الأبعاد)
تهيئة تدريب متوازية تجمع بين توازي المصفوفات (TP)، وتوازي السياق (CP)، وتوازي خط الأنابيب (PP)، وتوازي البيانات (FSDP) عبر آلاف وحدات معالجة الرسوميات.
Grouped Query Attention (GQA)
أحد أشكال آلية الانتباه التي تتشارك رؤوس المفاتيح والقيم عبر عدة رؤوس استعلام (هنا 8 رؤوس KV) لتقليل استهلاك ذاكرة التخزين المؤقت للمفاتيح والقيم أثناء الاستدلال.
Context Parallelism (CP)
تقنية تجزئ تسلسلات الإدخال الطويلة عبر عدة وحدات معالجة رسومية، باستخدام نمط اتصال all-gather عبر إسقاطات المفاتيح والقيم.
Direct Preference Optimization (DPO)
خوارزمية لتحسين التفضيلات دون الحاجة إلى التعلم المعزز، تُستخدم في مرحلة التدريب اللاحق لمواءمة مخرجات النموذج مع التفضيلات البشرية.
Rejection Sampling (RS)
عملية في مرحلة التدريب اللاحق يتم فيها أخذ عينات من مخرجات متعددة من نموذج السياسة وتصفيتها باستخدام نموذج المكافأة لإنتاج بيانات تدريب SFT عالية الجودة.
IsoFLOPs curves
منحنيات تقيس الخسارة التجريبية عبر تركيبات مختلفة من حجم النموذج وعدد الرموز في ظل ميزانيات حوسبة تدريبية ثابتة لتحديد البنى المثلى بالنسبة للحوسبة.
Model FLOPs Utilization (MFU)
نسبة عمليات الفاصلة العائمة المحققة فعلياً في الثانية إلى الحد الأقصى النظري للإنتاجية القصوى للعتاد.
Annealing
مرحلة أخيرة من التدريب المسبق يتناقص فيها معدل التعلم خطياً باتجاه الصفر عبر مجموعات بيانات عالية الجودة وموجهة لمجالات محددة.

أسئلة شائعة

ما هي أطوال السياق التي تدعمها نماذج Llama 3؟

تدعم جميع نماذج Llama 3.1 (بحجم 8B و70B و405B) أطوال سياق تصل إلى 128K رمز، وهو ما تحقق عبر تدريب مسبق متدرج للسياق الطويل وضبط التردد الأساسي لـ RoPE (500,000).

لماذا اختار المؤلفون بنية كثيفة (Dense) بدلاً من خبير المزيج (MoE)؟

لإعطاء الأولوية لاستقرار التدريب وإدارة التعقيد الهندسي عند نطاق حوسبة هائل ( FLOPs)، مفضلين بساطة البنية ذات خصائص التوسع المثبتة على MoE.

كيف تم استخدام البيانات الاصطناعية أثناء التدريب اللاحق؟

تم إنشاء أكثر من 2.7 مليون محادثة برمجية اصطناعية باستخدام التغذية الراجعة من التنفيذ، والمحللات الساكنة والديناميكية، واختبارات الوحدات، إلى جانب بيانات اصطناعية للترجمة العكسية، واستخدام الأدوات متعدد الخطوات، وتلخيص المستندات.

هل تم تضمين النسخ متعددة الوسائط (الرؤية والكلام) في الإصدار الأولي؟

لا. بالرغم من أن الورقة تصف تجارب لدمج مشفرات الصور والفيديو والكلام عبر موائمات الانتباه المتقاطع (cross-attention adapters)، ذكرت Meta أن تلك النماذج ظلت قيد التطوير وقت النشر.

كتب الذكاء الاصطناعي الشرح في هذه الصفحة استنادًا إلى الورقة، وقد يحتوي على أخطاء. راجع الورقة للتفاصيل.

اقرأ مع الترجمة والذكاء الاصطناعي