Entries tagged "math"
Mar 20, 2020
Nice bounds on black box entropy estimators,
Or a couple of helpful derivations
Feb 16, 2020
Notes on Policy Gradients,
Or a couple of helpful derivations
Jan 20, 2020
A Few Thoughts on the Lean Theorem Prover,
Or the future's not here yet
Dec 5, 2015
Automatic Differentiation,
Or mathemagically finding derivatives
May 6, 2015
Converging Random Variables,
Or why are there 3 different definitions?