`BookProof.ChapterAttentionFactorization.prodSoftmax_apply` (beta : ℝ) (s₁ : Fin m₁ → ℝ) (s₂ : Fin m₂ → ℝ) (a : Fin m₁) (b : Fin m₂) : prodSoftmax beta s₁ s₂ (a, b) =...

Initializing...

`BookProof.ChapterAttentionFactorization.prodSoftmax_apply` (beta : ℝ) (s₁ : Fin m₁ → ℝ) (s₂ : Fin m₂ → ℝ) (a : Fin m₁) (b : Fin m₂) : prodSoftmax beta s₁ s₂ (a, b) =... · Prove2Me