`BookProof.ChapterAttentionCoarseGrain.headOutput_merge` (beta : ℝ) (s : Fin m → ℝ) (f : Fin m → Fin r) (v : Fin r → E) : observableExpectation (mergeWeights f (scoreSoftmax beta s

Initializing...

`BookProof.ChapterAttentionCoarseGrain.headOutput_merge` (beta : ℝ) (s : Fin m → ℝ) (f : Fin m → Fin r) (v : Fin r → E) : observableExpectation (mergeWeights f (scoreSoftmax beta s · Prove2Me