I think Stan uses sampling-based Monte Carlo, whereas PSI is based on static pro... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

_a0vv on May 26, 2017 | parent | context | favorite | on: PSI Solver: Exact Inference for Probabilistic Prog...

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

marmaduke on May 26, 2017 [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact