`BookProof.ChapterAttentionCoarseGrain.mergeWeights_scoreSoftmax_of_fiber_const` (beta : ℝ) (f : Fin m → Fin r) (t : Fin r → ℝ) (y : Fin r) : mergeWeights f (scoreSoftmax beta (fun

Initializing...

`BookProof.ChapterAttentionCoarseGrain.mergeWeights_scoreSoftmax_of_fiber_const` (beta : ℝ) (f : Fin m → Fin r) (t : Fin r → ℝ) (y : Fin r) : mergeWeights f (scoreSoftmax beta (fun · Prove2Me