pub fn em_algorithm_ty() -> ExprExpand description
EMAlgorithm: Expectation-Maximization as alternating m/e-projections:
E-step: m-project posterior onto simplex; M-step: e-project onto exponential family
Type: Nat → Nat → Type (latent dim → obs dim → EM state)