ResearchTrend.AI
Computable de Finetti measures
v1v2 (latest)

Computable de Finetti measures

Cameron E. Freer
Daniel M. Roy
ArXiv (abs)PDFHTML

Papers citing "Computable de Finetti measures"

5 / 5 papers shown
Title
$ω$PAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
ωωPAP Spaces: Reasoning Denotationally About Higher-Order, Recursive Probabilistic and Differentiable Programs
Mathieu Huot
Alexander K. Lew
Vikash K. Mansinghka
S. Staton
45
7
0
21 Feb 2023
A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs
A Generalization of Hierarchical Exchangeability on Trees to Directed Acyclic Graphs
Paul Jung
Jiho Lee
S. Staton
Hongseok Yang
47
9
0
15 Dec 2018
A Convenient Category for Higher-Order Probability Theory
A Convenient Category for Higher-Order Probability Theory
C. Heunen
Ohad Kammar
S. Staton
Hongseok Yang
101
161
0
10 Jan 2017
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
S. Staton
Hongseok Yang
C. Heunen
Ohad Kammar
Frank Wood
80
136
0
19 Jan 2016
On the computability of conditional probability
On the computability of conditional probability
N. Ackerman
Cameron E. Freer
Daniel M. Roy
TPM
192
24
0
17 May 2010