Picture for Kenta Cho

Kenta Cho

Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs

Add code
Jan 28, 2021
Figure 1 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 2 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 3 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Figure 4 for Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
Viaarxiv icon

Disintegration and Bayesian Inversion via String Diagrams

Add code
Jun 13, 2018
Figure 1 for Disintegration and Bayesian Inversion via String Diagrams
Viaarxiv icon