情報科学 › LLM アーキテクチャ › 言語モデルの学習
次トークン予測の損失の最小化は最尤推定である
命題 3.5(「言語モデルの学習」§3) ・ ✓公理まで証明済み
定義 3.4 の設定で、すべての θ とすべての m,t について pθ(xt(m)∣x<t(m))>0 とします(softmax の出力ならつねに成り立ちます)。コーパスの尤度を Lik(θ)=∏m=1Mpθ(x(m)) とします。
- L(θ)=−T1logLik(θ) です。したがって L の最小点の集合と Lik の最大点の集合は一致します(どちらも空集合である場合を含みます)。
- コーパスに現れた接頭辞 c ごとに、その出現回数を Nc、直後のトークンが v であった回数を Nc,v とし、経験分布を p^(v∣c)=Nc,v/Nc とします。このとき
L(θ)=c∑TNcH(p^(⋅∣c), pθ(⋅∣c))です。ここで H(p,q)=−∑vpvlogqv は交差エントロピー(定義 5.1[数学を学び直す意義])で、和はコーパスに現れた接頭辞の全体にわたります。
3. 1 つの位置の損失 ℓ=−logsoftmax(z)y のロジットについての勾配は ∇zℓ=softmax(z)−ey です(ey は正解 y の one-hot ベクトル)。
本文で読む(証明と前後の説明)→
閉包の状態
✓ 公理まで証明済み
証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています(前提の定理類 3 件、定義なども含めて 5 件)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
前提をたどる 証明が使う定理・定義(直接 3 件)
▸ を開くと、その項目の証明が使う前提が出ます。深い先は各項目のページでたどれます。
これを使っている定理
証明で明示的に参照している定理は、まだありません。
関連するノック 1 問