A growing body of research on probabilistic programs and causal models h...
Category theory has been successfully applied in various domains of scie...
Active inference offers a principled account of behavior as minimizing
a...
Applied category theory has recently developed libraries for computing w...
We develop operators for construction of proposals in probabilistic prog...
Humans surpass the cognitive abilities of most other animals in our abil...
We develop amortized population Gibbs (APG) samplers, a new class of
aut...
Neuroimaging experiments produce a large volume (gigabytes) of
high-dime...
Probabilistic programs with dynamic computation graphs can define measur...