Fabian Zaiser

Incremental Computation for Efficient Programmable Inference in Probabilistic Programs

2025 · Proceedings of the ACM on Programming Languages

Inference in probabilistic programs generally requires evaluating many possible program executions to find those of high posterior density. To scale inference to large datasets, it is crucial that expensive intermediate results are shared across these …