XYZNOT

Makaleler · arXiv 2407.21783

Llama 3 Model Ailesi

The Llama 3 Herd of Models

Yayımlanma cs.AIcs.CLcs.CVcs.LG arXivPDF

Çeviri ve yapay zekâ ile oku

Üç satırda özet

  1. 🎯 Güvenilir biçimde ölçeklenirken akıl yürütme, çok dillilik, kodlama ve araç kullanımında tescilli öncü sistemlerle rekabet eden açık erişimli temel modeller geliştirmek.
  2. 🔧 4D paralellik, özel RoCE ağ iletişimi, 128K'ya çok aşamalı bağlam genişletme ve yinelemeli eğitim sonrası (SFT, redde dayalı örnekleme ve DPO) kullanarak yoğun Transformer mimarilerini (15.6T belirteç üzerinde 405B parametreye kadar) ölçeklendirmek.
  3. 📈 Llama 3 405B; GSM8K (%96,8), HumanEval (%89,0) ve MMLU (%87,3) gibi kıyaslamalarda GPT-4 gibi modellerle eşleşerek en son teknoloji açık model performansına ulaşıyor.

Özet

Modern yapay zekâ (YZ) sistemleri temel modellerden güç almaktadır. Bu makale, Llama 3 adı verilen yeni bir temel model setini sunmaktadır. Bu seri; çok dilliliği, kodlamayı, akıl yürütmeyi ve araç kullanımını yerel olarak destekleyen bir dil modelleri ailesidir. En büyük modelimiz, 405B parametreye ve 128K belirtece (token) kadar bağlam penceresine sahip yoğun (dense) bir Transformer'dır. Bu makale, Llama 3'ün kapsamlı bir ampirik değerlendirmesini sunmaktadır. Llama 3'ün çok sayıda görevde GPT-4 gibi önde gelen dil modelleriyle karşılaştırılabilir bir kalite sunduğunu görmekteyiz. 405B parametreli dil modelinin önceden eğitilmiş (pre-trained) ve eğitim sonrası uyarlanmış (post-trained) sürümleri ile girdi ve çıktı güvenliği sağlayan Llama Guard 3 modelimiz de dâhil olmak üzere Llama 3'ü herkese açık olarak paylaşıyoruz. Makale ayrıca görüntü, video ve konuşma yeteneklerini bileşimsel bir yaklaşımla Llama 3'e entegre ettiğimiz deneylerin sonuçlarını da sunmaktadır. Bu yaklaşımın görüntü, video ve konuşma tanıma görevlerinde son teknolojiyle rekabetçi bir performans sergilediğini gözlemliyoruz. Ortaya çıkan bu modeller henüz geliştirme aşamasında oldukları için geniş çapta kullanıma sunulmamıştır.

Orijinal özet (İngilizce)

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.

Okuma rehberi

Problem ve motivasyon

Modern yapay zekâ sistemleri büyük ölçüde devasa temel modellere dayanmaktadır; ancak en yetenekli modeller (örneğin GPT-4) kapalı kalmıştır. Açık erişimli, öncü sınıfta bir model geliştirmek; veri kürasyonu, hesaplama ölçeği ve karmaşıklığı yönetme gibi üç temel ayakta yer alan devasa mühendislik darboğazlarının aşılmasını gerektirir.

Yazarlar; 128K bağlam pencerelerini, sıfır atışlı (zero-shot) ve çok adımlı araç kullanımını, ileri düzey akıl yürütmeyi ve kod üretimini destekleyen 8B, 70B ve 405B parametreli çok dilli dil modellerinden oluşan Llama 3 ailesini geliştirmektedir.


Temel fikirler

  • Yoğun Mimari ile Karmaşıklığı Yönetme: Yazarlar, Uzmanlar Karması (Mixture-of-Experts - MoE) mimarilerine geçmek yerine, ön eğitim kararlılığını en üst düzeye çıkarmak için Grouped-Query Attention (GQA) ve temel frekansı olan RoPE'ye sahip standart bir yoğun Transformer'a (405B için 126 katman, 16.384 boyut, 128 dikkat başlığı) bağlı kalmaktadır.
  • Veri Ölçeklendirme ve Titiz Filtreleme: Ön eğitim, Llama 2'nin 1.8T belirtecinden çeşitli alanlara yayılan yaklaşık 15.6T belirtece genişletilmiştir (~%50 genel bilgi, %25 matematik/akıl yürütme, %17 kod, %8 çok dilli).
  • Öngörülebilir Ölçekleme Yasaları (Scaling Laws): İki aşamalı bir ölçekleme yasası çerçevesi, eğitim başlamadan önce hesaplama miktarını dört büyüklük mertebesi boyunca nihai görev performansına (ARC Challenge gibi) bağlar.
  • Yinelemeli Eğitim Sonrası (Iterative Post-Training): Hedeflenmiş sentetik veri üretimiyle birlikte Denetimli İnce Ayar (SFT), Redde Dayalı Örnekleme (RS) ve Doğrudan Tercih Optimizasyonunu (DPO) birleştiren altı turlu bir uyumlama (alignment) süreci.
  • 4D Paralellik ve Altyapı: Tensör Paralelliği (TP), Bağlam Paralelliği (CP), İş Hattı Paralelliği (PP) ve Tam Parçalanmış Veri Paralelliği (FSDP/DP) kombinasyonu kullanılarak 16K'ya kadar H100 GPU üzerinde 405B modelinin ön eğitimi.

Yöntem (temel denklemlerle)

1. Ölçekleme Yasası Formülasyonu

Hesaplama açısından en uygun (compute-optimal) belirteç dağılımı, hesaplama bütçesi 'nin bir kuvvet yasası (power-law) fonksiyonu olarak modellenir:

ile FLOP arasındaki hesaplama bütçeleri üzerindeki ampirik uyarlamalar değerlerini belirlemiştir. FLOP'luk hedef bütçeye yapılan ekstrapolasyon, 16.55T belirteç üzerinde 402B parametreli bir modelin eğitilmesini önermiş ve bu da 405B parametrelik nihai mimariye rehberlik etmiştir.

2. Bağlam Penceresi Genişletme ve Dikkat Maskeleme

8K'dan 128K belirtece bağlam ölçeklendirmesi, ~800B belirteç boyunca altı sürekli ön eğitim aşamasında gerçekleşir. Aynı uzun bağlam dizisi içinde paketlenmiş belgeler arasında çapraz kirlenmeyi önlemek için özel bir belge dikkat maskesi (document attention mask) uygulanır.

Bağlam Paralelliği (CP), girdi dizilerini parçaya böler ve anahtar () ile değer () temsilleri üzerinde bir all-gather iletişim örüntüsü çalıştırır. GQA, sorguya () kıyasla ve boyutlarını küçülttüğü için all-gather iletişim yükü , dikkat hesaplaması olan 'nin yanında ihmal edilebilir düzeydedir.

3. Doğrudan Tercih Optimizasyonu (DPO) Uyarlamaları

Tercih optimizasyonunda, tekrarlayan kuyrukları veya erken durmaları önlemek amacıyla biçimlendirme belirteçleri (başlıklar ve sonlandırma işaretçileri) DPO kaybından açıkça maskelenerek çıkarılır. Ayrıca, seçilen diziye yardımcı bir negatif log-olabilirlik (NLL) düzenlileştirme terimi eklenir:


Sonuçlar (en önemli rakamlarla)

  • Amiral Gemisi 405B Kıyaslama Testleri:
    • 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
  • Daha Küçük Modeller (8B ve 70B): Her iki model de karşılaştırılabilir açık kaynaklı emsallerinden (ör. Gemma 2 9B, Mistral 7B, Mixtral 8x22B) daha iyi performans göstermektedir. Örneğin, Llama 3 8B, 0-shot CoT MMLU'da %73,0 ve GSM8K'da %84,5 elde etmektedir.
  • Uzun Bağlam: 128K belirtece kadar tekli Needle-In-A-Haystack testinde kusursuz %100 geri çağırma ve 405B modeli için Multi-needle hatırlamada %98,1 başarı.
  • Ön Eğitim Verimliliği: 16.384 H100 GPU genelindeki yapılandırmalarda BF16 Model FLOPs Kullanımı (MFU) %38-43'e ulaşmış; 466 kesintiye rağmen 54 günlük bir kesitte %90'ın üzerinde etkin eğitim süresi korunmuştur.

Sınırlılıklar ve açık sorular

  • Donanım Güvenilirliği ve Ölçek Dalgalanması: 16K GPU ölçeğinde, donanım kesintileri günde ortalama birkaç kez meydana gelmiştir (beklenmeyen kesintilerin %78'i donanım/GPU sorunlarından kaynaklanmıştır). Denetim noktası alma (checkpointing) veya toplu iletişim adımları sırasında on binlerce megavatlık eşzamanlı güç dalgalanmaları veri merkezi elektrik şebekelerini zorlamaktadır.
  • Çekişmeli Sağlamlık (Adversarial Robustness) Açığı: Açımlama kıyaslamalarında (PAWS) dirençli olsa da matematiksel akıl yürütme ve soru-cevap çekişmeli kıyaslamaları (GSM-Plus, Adv SQuAD), çekişmeli olmayan testlere kıyasla belirgin bir performans düşüşü sergilemektedir.
  • Çok Modelliğin Erişilebilirliği: Görme ve konuşma bağdaştırıcıları (adapters) araştırma ortamlarında rekabetçi yetenekler sergilemiştir; ancak bunlar aktif geliştirme aşamasında tutulmuş ve ilk genel sürüme dâhil edilmemiştir.

Temel terimler

4D Parallelism
Binlerce GPU üzerinde Tensor Parallelism (TP), Context Parallelism (CP), Pipeline Parallelism (PP) ve Data Parallelism (FSDP) yöntemlerini birleştiren paralel eğitim yapılandırması.
Grouped Query Attention (GQA)
Çıkarım sırasında anahtar-değer önbellek belleğini azaltmak için anahtar-değer başlıklarını birden fazla sorgu başlığı arasında (burada 8 KV başlığı) paylaştıran bir dikkat varyantı.
Context Parallelism (CP)
Uzun girdi dizilerini birden fazla GPU'ya bölen ve anahtar ile değer izdüşümleri üzerinde all-gather iletişimi kullanan bir teknik.
Direct Preference Optimization (DPO)
Model üretimlerini insan tercihleriyle uyumlu hâle getirmek için eğitim sonrasında kullanılan, takviyeli öğrenme içermeyen bir tercih optimizasyon algoritması.
Rejection Sampling (RS)
Yüksek kaliteli SFT eğitim verisi üretmek amacıyla bir ilke modelinden birden fazla çıktının örneklendiği ve bir ödül modeli kullanılarak filtrelendiği eğitim sonrası süreç.
IsoFLOPs curves
Hesaplama açısından en uygun mimarileri belirlemek için sabit eğitim bütçeleri altında model boyutu ve belirteç sayılarının farklı kombinasyonlarındaki ampirik kaybı ölçen eğriler.
Model FLOPs Utilization (MFU)
Saniyede elde edilen gözlemlenmiş kayan nokta işlemi sayısının, donanımın teorik maksimum tepe işleme kapasitesine oranı.
Annealing
Öğrenme oranının yüksek kaliteli, alana özel veri bölümleri üzerinde doğrusal olarak sıfıra doğru azaldığı nihai ön eğitim aşaması.

Sorular

Llama 3 modelleri hangi bağlam uzunluklarını destekliyor?

Tüm Llama 3.1 modelleri (8B, 70B ve 405B); aşamalı uzun bağlam ön eğitimi ve RoPE temel frekans ayarlamaları (500.000) sayesinde 128K belirtece kadar bağlam uzunluklarını destekler.

Yazarlar neden Mixture-of-Experts (MoE) yerine yoğun bir mimari tercih etti?

Muazzam hesaplama ölçeğinde ( FLOP) eğitim kararlılığına öncelik vermek ve mühendislik karmaşıklığını yönetmek adına, MoE yerine ölçekleme özellikleri kanıtlanmış mimari basitliği seçtiler.

Eğitim sonrasında sentetik veriler nasıl kullanıldı?

Geriye çeviri (backtranslation), çok adımlı araç kullanımı ve belge özetleme için üretilen sentetik verilerin yanı sıra; çalıştırma geri bildirimi, statik/dinamik denetleyiciler (linters) ve birim testleri kullanılarak 2,7 milyondan fazla sentetik kod diyaloğu üretildi.

Çok modlu görme ve konuşma sürümleri ilk yayına dâhil edildi mi?

Hayır. Makale, çapraz dikkat bağdaştırıcıları aracılığıyla görüntü, video ve konuşma kodlayıcılarını entegre eden deneyleri açıklasa da Meta, bu modellerin yayın tarihi itibarıyla geliştirilmeye devam ettiğini belirtmiştir.

Bu sayfadaki açıklama yapay zekâ tarafından makaleden yazılmıştır ve hata içerebilir. Ayrıntılar için makaleyi okuyun.

Çeviri ve yapay zekâ ile oku