情報科学 › LLM アーキテクチャ › 推論
自己回帰生成
プロンプト(与えられた接頭辞) から始めて、 について
- モデルで を計算する、
- 復号規則に従って を 1 つ決める、
- を列の末尾に足す、
を繰り返す手続きを自己回帰生成といいます。 が終端を表す特殊トークンになったとき、または列の長さがあらかじめ決めた最大長に達したときに止めます。最大長があるので、手続きは必ず止まります。
閉包の状態
定義
定義は閉包の起点です(証明を要しません)。
印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。
これを使っている定理 証明で参照している 1 件
- 検索した断片を入力に足すコスト✓命題 9.2・スケーリングと文脈