2 papers
cs.PL2025
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
Sangho Lim, Hyoungjin Lim, Wonyeol Lee +2
Probabilistic programming languages (PPLs) are a popular tool for high-level modelling across many fields. They provide a range of algorithms for probabilistic inference, which ana…
cs.PL2025
Random Variate Generation with Formal Guarantees
Feras A. Saad, Wonyeol Lee
This article introduces a new approach to principled and practical random variate generation with formal guarantees. The key idea is to first specify the desired probability distri…