research
∙
01/05/2021
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
We introduce a novel sampling algorithm for Bayesian inference on impera...
share
research
∙
03/23/2020
Dichotomy between deterministic and probabilistic models in countably additive effectus theory
Effectus theory is a relatively new approach to categorical logic that c...
research
∙
10/27/2019
Effectuses in Categorical Quantum Foundations
This thesis develops the theory of effectuses as a categorical axiomatic...
research
∙
08/29/2017