Maths for ML A Storage of mathematical proofs and models. Proof: Sum of gaussian r.v.s also follows gaussian distribution Variational Auto Encoder (VAE) Kalman Filter Lagrange Multiplier