Skip to content

Instantly share code, notes, and snippets.

@rhydomako

rhydomako/2016_06_08_infer_paper.ipynb

Created June 9, 2016 03:02
Show Gist options
  • Save rhydomako/bcfc66a3d6947899723eb678b5c5e5c5 to your computer and use it in GitHub Desktop.
Save rhydomako/bcfc66a3d6947899723eb678b5c5e5c5 to your computer and use it in GitHub Desktop.
Download ZIP
Some notes about C-K Hur, A. V. Nori, S. K. Rajamani, and S. Samuel, "A Provably Correct Sampler for Probabilistic Programs"
Display the source blob
Display the rendered blob
Raw
2016_06_08_infer_paper.ipynb
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment