1 paper · 1 filter
Sean Talts, Michael Betancourt, Daniel Simpson +2
Verifying the correctness of Bayesian computation is challenging. This is especially true for complex models that are common in practice, as these require sophisticated model imple…