情報科学 › LLM アーキテクチャ › 言語モデルの学習
LoRA のパラメータ数と、表せる更新の全体
定理 8.4(「言語モデルの学習」§8) ・ ✓公理まで証明済み
d,k≥1、1≤r≤min(d,k) とし、ΔW=BA(B∈Rd×r、A∈Rr×k)とします。
- 学習するパラメータの数は r(d+k) です。これが全体の微調整の dk より小さいことは、r<d+kdk と同値です。
- rankΔW≤r です。
- 逆に、rankM≤r である任意の M∈Rd×k は、ある B∈Rd×r、A∈Rr×k によって M=BA と書けます。したがって
{BA:B∈Rd×r, A∈Rr×k}={M∈Rd×k:rankM≤r}です。
4. B=O で初期化すると、A が何であっても学習開始時に ΔW=O で、モデルの出力は事前学習済みのモデルと一致します。
5. 学習後に W=W0+BA を 1 つの d×k 行列として計算しておけば、推論時の x↦Wx の乗算回数は dk で、元のモデルと同じです。まとめずに W0x+B(Ax) と計算すると dk+r(d+k) 回です。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 15 件、定義なども含めて 15 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 1 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 2 問