`BookProof.ChapterAttentionMixture.multiHead_output_eq_mean` (w : Fin H → ℝ) (beta : Fin H → ℝ) (s : Fin H → Fin m → ℝ) (v : Fin m → E) : observableExpectation (multiHead w beta s)

Initializing...

`BookProof.ChapterAttentionMixture.multiHead_output_eq_mean` (w : Fin H → ℝ) (beta : Fin H → ℝ) (s : Fin H → Fin m → ℝ) (v : Fin m → E) : observableExpectation (multiHead w beta s) · Prove2Me