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-параллелизма, специализированных сетей RoCE, многоэтапного расширения контекста до 128K и итеративного пост-обучения (SFT, rejection sampling и DPO).
  3. 📈 Llama 3 405B достигает лучших результатов среди открытых моделей, сравниваясь с GPT-4 на таких бенчмарках, как GSM8K (96,8%), HumanEval (89,0%) и MMLU (87,3%).

Аннотация

Современные системы искусственного интеллекта (ИИ) строятся на базе фундаментальных моделей. В этой статье представлен новый набор базовых моделей под названием Llama 3. Это семейство языковых моделей с нативной поддержкой мультиязычности, генерации кода, сложных рассуждений и использования внешних инструментов. Наша крупнейшая модель представляет собой плотный (dense) Transformer с 405 млрд параметров и контекстным окном до 128K токенов. В работе приводится подробная эмпирическая оценка Llama 3. Мы показываем, что Llama 3 обеспечивает качество, сопоставимое с ведущими языковыми моделями, такими как GPT-4, во множестве задач. Мы открываем доступ к Llama 3, включая предобученные и дообученные версии модели с 405B параметров, а также модель безопасности Llama Guard 3 для проверки входных и выходных данных. Кроме того, в статье представлены результаты экспериментов по интеграции возможностей обработки изображений, видео и речи в Llama 3 с помощью композитного подхода. Мы отмечаем, что такой подход демонстрирует результаты на уровне современных решений (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 токенов, zero-shot и многошаговое использование внешних инструментов, сложные рассуждения и генерацию программного кода.


Ключевые идеи

  • Управление сложностью с помощью плотной архитектуры (Dense): Вместо перехода на архитектуры Mixture-of-Experts (MoE) авторы сделали выбор в пользу стандартного плотного Transformer (126 слоев, размерность 16 384, 128 голов внимания для модели 405B) с Grouped-Query Attention (GQA) и RoPE с базовой частотой для максимальной стабильности предварительного обучения.
  • Масштабирование данных и строгая фильтрация: Объем данных для предобучения вырос с 1,8T токенов в Llama 2 до примерно 15,6T токенов из различных доменов (~50% общих знаний, 25% математики и рассуждений, 17% кода, 8% мультиязычных текстов).
  • Предсказуемые законы масштабирования (Scaling Laws): Двухэтапный фреймворк законов масштабирования связывает объем вычислений с эффективностью выполнения прикладных задач (таких как ARC Challenge) на протяжении четырех порядков величины еще до запуска финального обучения.
  • Итеративное пост-обучение (Post-Training): Шесть раундов выравнивания (alignment), сочетающих Supervised Fine-Tuning (SFT), Rejection Sampling (RS) и Direct Preference Optimization (DPO) с генерацией целевых синтетических данных.
  • 4D-параллелизм и инфраструктура: Обучение 405B на кластере до 16 000 GPU H100 с использованием комбинации Tensor Parallelism (TP), Context Parallelism (CP), Pipeline Parallelism (PP) и Fully Sharded Data Parallelism (FSDP/DP).

Метод (с ключевыми формулами)

1. Формулировка закона масштабирования

Оптимальное по вычислениям распределение токенов моделируется как степенная функция от вычислительного бюджета :

Эмпирическая аппроксимация для бюджетов от до FLOPs определила коэффициенты . Экстраполяция на целевой бюджет в FLOPs указала на необходимость обучения модели с 402B параметров на 16,55T токенов, что определило финальную архитектуру размером 405B параметров.

2. Расширение контекстного окна и маскирование внимания

Масштабирование контекста с 8K до 128K токенов происходит в шесть этапов непрерывного дообучения на массиве из ~800B токенов. Чтобы предотвратить взаимное влияние документов, упакованных в одну длинную последовательность контекста, применяется специальная маска внимания на уровне документов (document attention mask).

Context Parallelism (CP) разбивает входные последовательности на блоков, используя коммуникационный паттерн all-gather для представлений ключей () и значений (). Поскольку GQA снижает размеры и относительно запросов (), накладные расходы на связь all-gather пренебрежимо малы по сравнению с вычислением внимания .

3. Адаптация Direct Preference Optimization (DPO)

При оптимизации предпочтений токены форматирования (заголовки и маркеры завершения) явно исключаются маской из функции потерь DPO во избежание генерации повторяющихся окончаний или преждевременных остановок. Кроме того, к выбранной человеком или моделью последовательности добавляется вспомогательный регуляризационный член отрицательного логарифмического правдоподобия (NLL):


Результаты (с главными показателями)

  • Бенчмарки флагманской модели 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% на 0-shot CoT MMLU и 84,5% на GSM8K.
  • Длинный контекст: 100% точность извлечения в тесте Needle-In-A-Haystack на длине до 128K токенов и 98,1% в тесте Multi-needle recall для модели 405B.
  • Эффективность обучения: Использование вычислительной мощности модели (BF16 Model FLOPs Utilization, MFU) достигло 38–43% в различных конфигурациях на 16 384 GPU H100; полезное время обучения составило более 90% за 54-дневный период, несмотря на 466 сбоев.

Ограничения и открытые вопросы

  • Надежность оборудования и перепады нагрузки: На масштабе в 16K GPU сбои оборудования происходили в среднем несколько раз в день (78% непредвиденных остановок были вызваны неполадками GPU и аппаратными компонентами). Одновременные скачки потребляемой мощности в десятки мегаватт во время создания контрольных точек (чекпоинтов) или коллективных операций создавали серьезную нагрузку на электросеть дата-центра.
  • Уязвимость к состязательным атакам: Несмотря на устойчивость на бенчмарках парафразирования (PAWS), состязательные тесты на математические рассуждения и QA (GSM-Plus, Adv SQuAD) показали существенное падение качества по сравнению со стандартными бенчмарками.
  • Доступность мультимодальных версий: Адаптеры для компьютерного зрения и обработки речи показали конкурентоспособные результаты в экспериментах, однако на момент публикации они оставались в активной разработке и не были включены в первоначальный публичный релиз.

Ключевые термины

4D Parallelism (4D-параллелизм)
Конфигурация параллельного обучения, объединяющая тензорный параллелизм (TP), контекстный параллелизм (CP), конвейерный параллелизм (PP) и параллелизм данных (FSDP) на тысячах GPU.
Grouped Query Attention (GQA)
Вариант механизма внимания, в котором несколько голов запросов используют общие головы ключей и значений (в данном случае 8 голов KV) для экономии памяти KV-кэша во время инференса.
Context Parallelism (CP, контекстный параллелизм)
Метод, разбивающий длинные входные последовательности по нескольким GPU и использующий коммуникационную операцию all-gather для проекций ключей и значений.
Direct Preference Optimization (DPO)
Алгоритм оптимизации предпочтений без использования обучения с подкреплением, применяемый на этапе пост-обучения для выравнивания ответов модели с предпочтениями человека.
Rejection Sampling (RS, выборка с отклонением)
Процесс пост-обучения, при котором генерируется множество вариантов ответов целевой модели, после чего они фильтруются с помощью модели вознаграждения (reward model) для формирования качественного датасета SFT.
IsoFLOPs curves (кривые IsoFLOPs)
Кривые, отражающие эмпирическую зависимость функции потерь от размера модели и числа токенов при фиксированном вычислительном бюджете; используются для поиска оптимальной архитектуры.
Model FLOPs Utilization (MFU)
Отношение реально достигнутого числа операций с плавающей запятой в секунду к теоретической пиковой производительности оборудования.
Annealing (отжиг)
Финальная фаза предварительного обучения, на которой скорость обучения (learning rate) линейно спадает до нуля на тщательно отобранных высококачественных данных из целевых доменов.

Вопросы

Какую длину контекста поддерживают модели Llama 3?

Все модели Llama 3.1 (8B, 70B и 405B) поддерживают контекст длиной до 128K токенов за счет поэтапного дообучения на длинных последовательностях и изменения базовой частоты RoPE до 500 000.

Почему авторы предпочли плотную (dense) архитектуру вместо Mixture-of-Experts (MoE)?

Приоритетом были выбраны стабильность обучения и снижение инженерной сложности при масштабировании на колоссальном объеме вычислений ( FLOPs), что сделало архитектурную простоту плотного трансформера надежнее MoE.

Как использовались синтетические данные в ходе пост-обучения?

Было сгенерировано более 2,7 млн диалогов с кодом на основе обратной связи от среды выполнения, статических и динамических линтеров и юнит-тестов, а также синтетические данные для обратного перевода, многошаговых инструментов и суммаризации документов.

Вошли ли мультимодальные модели (зрение и речь) в первоначальный релиз?

Нет. Хотя в статье описываются эксперименты по интеграции энкодеров изображений, видео и речи через адаптеры перекрестного внимания (cross-attention), Meta заявила, что эти модели на момент публикации все еще находятся в разработке.

Обзор на этой странице написан ИИ по тексту статьи и может содержать ошибки. Подробности смотрите в самой статье.

Читать с переводом и ИИ