News for hackers. Stuff that matters.

A comment on PSI Solver: Exact Inference for Probabilistic Programs.

Re:PSI Solver: Exact Inference for Probabilistic Programs by lbeziaud on Friday May 26, 2017 @01:25AM (#14422164)
Nice paper! This could be a great tool to help debugging differential privacy [0] of an algorithm. Certainly much simpler than CertiPriv [1].

[0] https://www.cis.upenn.edu/~aaroth/Papers/privacybook.pdf [1] http://certicrypt.gforge.inria.fr/certipriv/

[ Parent | on HN ]
Re:PSI Solver: Exact Inference for Probabilistic Programs by leephillips on Friday May 26, 2017 @06:47AM (#14423128)
I found out about this through a comment on my website, that includes a simple example of how to use it:

https://lee-phillips.org/chicks/#comments

[ Parent | on HN ]