115 citations · 256 across the 13 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
A Lambda-Calculus Foundation for Universal Probabilistic Programming
Johannes Borgström, Ugo Dal Lago, Andrew D. Gordon +1
We develop the operational semantics of an untyped probabilistic lambda-calculus with continuous distributions, as a foundation for universal probabilistic programming languages su…
cs.AI2015★ 3 cited
The Wreath Process: A totally generative model of geometric shape based on nested symmetries
Diana Borsa, Thore Graepel, Andrew Gordon
We consider the problem of modelling noisy but highly symmetric shapes that can be viewed as hierarchies of whole-part relationships in which higher level objects are composed of t…