Eric Wang

Compiling Probabilistic Programs for Variable Elimination with Information Flow

2024 · Proceedings of the ACM on Programming Languages

A key promise of probabilistic programming is the ability to specify rich models using an expressive programming language. However, the expressive power that makes probabilistic programming languages enticing also poses challenges to inference, so much …