Created
June 9, 2016 03:02
-
-
Save rhydomako/bcfc66a3d6947899723eb678b5c5e5c5 to your computer and use it in GitHub Desktop.
Some notes about C-K Hur, A. V. Nori, S. K. Rajamani, and S. Samuel, "A Provably Correct Sampler for Probabilistic Programs"
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment