Модуль 6. Нормализация, активации и анатомия блока
Сначала попробуйте решить упражнение. Ответы, подробные решения и проектные ориентиры раскрываются отдельно и сохраняют своё состояние при переключении RU/EN.
Скачать файлы курса (.zip) 2588,1 КБАрхив содержит файлы на обоих языках и вспомогательные материалы с сохранением структуры каталогов.
У1. Точный бюджет блока
Для Llama-3.1-8B вычислите матричную и полную цену блока.
Показать ответ и решение
Решение. В GQA attention матрицы и имеют размер , а ширина K/V в четыре раза меньше: две K/V-матрицы дают . Поэтому
SwiGLU содержит проекции gate, up и down. При это . Итого матричная часть равна
Две RMSNorm добавляют по одному обучаемому масштабу на канал, то есть . Полный блок содержит 218 112 000 параметров. Смещений в рассматриваемой архитектуре нет.
У2. Роль
Для RMS сравните множители при и .
Показать ответ и решение
Решение. RMSNorm делит на . При RMS квадрат сигнала равен . Поэтому
Увеличение здесь более чем вдвое уменьшает усиление малого сигнала: стабилизатор уже сравним с его энергией и даже доминирует над ней. Поэтому выбирать нужно по точности редукции и рабочим масштабам активаций, а не только по машинной точности формата.
У3. Ограничения в gpt-oss
Воспроизведите таблицу для и объясните, почему нижнее ограничение всё же меняет ветвь up.
Показать ответ и решение
Решение. Используем , и
| -9 | -9 | -7 | 0.000012019 |
| -2 | -2 | -2 | 0.064341377 |
| 0 | 0 | 0 | 0 |
| 2 | 2 | 2 | 5.806975869 |
| 7 | 7 | 7 | 55.999625026 |
| 9 | 7 | 7 | 55.999625026 |
Для gate не ограничивается снизу и почти подавляется сигмоидой, но up всё равно заменяется на и входит как ; малость результата не означает, что ограничение не сработало. При и обе используемые ветви уже одинаковы, поэтому совпадают и выходы.
У4 [проект]
Сравните RMSNorm, DyT и DyISRU на одной малой языковой модели, используя одинаковые случайные инициализации, порядок данных, оптимизатор и сетку скоростей обучения. Не делайте вывод о масштабе 100B по одному малому запуску.
Демо и критерии проекта
Демо к этому проектному упражнению: русскоязычный проектный ноутбук модуля 6, раздел «Демо 1». Он показывает компактный воспроизводимый пример на малых данных, а не готовое решение полномасштабного проекта.
У5 [проект]
Сравните распределения логитов QK у двух открытых моделей с разными механизмами стабилизации Q/K. Зафиксируйте точный код модели и не объединяйте L2 QKNorm, RMSNorm для Q/K и soft-capping логитов в одну категорию.
Демо и критерии проекта
Демо к этому проектному упражнению: русскоязычный проектный ноутбук модуля 6, раздел «Демо 2». Он показывает компактный воспроизводимый пример на малых данных, а не готовое решение полномасштабного проекта.
У6. Масштаб и ось нормы
Почему одинаковый множитель Q/K не даёт точной инвариантности при фиксированном ? Чем отличается увеличение только одной головы при общей и покомпонентной по головам RMSNorm?
Показать ответ и решение
Решение. Для положительного множителя вынесем его из знаменателя:
При фиксированном это другая нормировка. Например, при одном значении , и единичном обучаемом масштабе получаем . Для результат равен . Отличие заметно, потому что стабилизатор сравним с квадратом сигнала.
Если RMS считается по всем головам сразу, увеличение одной головы повышает общий знаменатель и меняет даже неизменённые головы. При отдельной нормировке каждой головы их знаменатели независимы. Ноутбук воспроизводит обе оси редукции; сначала предскажите, какие головы должны измениться.
У7. Дважды стохастическое смешивание
Проверьте пример из §12. Следует ли из единичных сумм строк и столбцов, что ?
Показать ответ и решение
Решение. В матрице из §12 каждая строка и каждый столбец имеют сумму . Умножение даёт в первой строке и во второй. Поэтому .
Неотрицательность и единичная сумма строки делают каждый выход выпуклой комбинацией входов: он остаётся между 2 и 6. Сам диапазон может сузиться — здесь он стал от 3 до 5. Единичные суммы столбцов дополнительно сохраняют сумму по потокам: . Ни одно из этих свойств не требует сохранять каждый поток отдельно. Для матрицы после конечного числа итераций Sinkhorn–Knopp сначала проверяют обе невязки сумм: тогда понятно, насколько точно применимы эти выводы.