activity
20112023
most citedSemantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints

113 citations · 510 across the 24 of their papers we have counts for

collaborators
Showing 2023 · cs.PLShow all

1 paper · 2 filters

cs.PL2023★ 1 cited

PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs

Mathieu Huot, Alexander K. Lew, Vikash K. Mansinghka +1

We introduce a new setting, the category of PAP spaces, for reasoning denotationally about expressive differentiable and probabilistic programming languages. Our semantics is ge…