Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Docs and switch to jr.key #177

Merged
merged 10 commits into from
Sep 17, 2024
Merged

Docs and switch to jr.key #177

merged 10 commits into from
Sep 17, 2024

Conversation

danielward27
Copy link
Owner

Changes:

  • Now support (and enforce) new style jax keys, i.e. update any jr.PRNGKey(seed) calls with jr.key(seed).
  • Improved documentation.
  • LogNormal now implemented as a transformed Normal distribution, rather than a transformed StandardNormal (neater structure, and nicer to do log_normal.base_dist.loc, to see the location parameter, rather than going into the Chain bijection previously used.
  • Docs now publish on pushes to main.

@danielward27 danielward27 changed the title Dev Docs and switch to jr.key Sep 17, 2024
@danielward27 danielward27 merged commit 3824aa2 into main Sep 17, 2024
1 check passed
@danielward27 danielward27 deleted the dev branch September 17, 2024 18:23
@danielward27 danielward27 mentioned this pull request Sep 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant