Exponential Family Discriminant Analysis (EFDA) with Lean 4 verified proofs.
-
Updated
Mar 24, 2026 - Python
#
exponential-families
Here are 2 public repositories matching this topic...
This course is part of the USC Graduate Biostatistics Program and is designed for second-year and beyond students interested in designing and implementing computational inferential tools for research.
optimization automatic-differentiation gradient-descent bayesian-inference conjugate-gradient variational-inference hamiltonian-monte-carlo gibbs-sampling numerical-stability jax elbo evidence-lower-bound jit-compilation exponential-families natural-gradient-descent statistical-divergences
-
Updated
Apr 14, 2026
Improve this page
Add a description, image, and links to the exponential-families topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the exponential-families topic, visit your repo's landing page and select "manage topics."