Commit 2024-12-11 17:32 fbe88317
View on Github →feat(Probability): parallel composition of kernels (#19482)
Parallel composition of kernels: from κ : Kernel α β and η : Kernel γ δ, define a kernel κ ∥ₖ η from α × γ to β × δ: (κ ∥ₖ η) (a, c) = (κ a).prod (η c).
From the TestingLowerBounds project.