Wonyeol Lee

differentiation (non-differentiability · automatic differentiation · gradient estimation) · probabilistic inference (random variate generation · variational inference) · correctness (provable guarantees · verification · program analysis) · finite precision (floating point · elementary functions · low precision) · continuous computation (finite-precision · differentiable · probabilistic)