PSI Solver: Exact Inference for Probabilistic Programs

Re:PSI Solver: Exact Inference for Probabilistic Programs by marmaduke on Friday May 26, 2017 @01:47AM (#14422223)

Can anyone explain how this contrasts to Stan or other PP?

[ Parent | on HN ]

Re:PSI Solver: Exact Inference for Probabilistic Programs by lbeziaud on Friday May 26, 2017 @02:17AM (#14422300)

I think Stan uses sampling-based Monte Carlo, whereas PSI is based on static program analysis.

[ Parent | on HN ]

Re:PSI Solver: Exact Inference for Probabilistic Programs by marmaduke on Friday May 26, 2017 @01:31PM (#14425773)

I'm a Stan user and I guess I'm interested to know if this would solve similar problems.

[ Parent | on HN ]