Picture for Shin-ya Katsumata

Shin-ya Katsumata

Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down

Add code
May 11, 2021
Figure 1 for Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Figure 2 for Fibrational Initial Algebra-Final Coalgebra Coincidence over Initial Algebras: Turning Verification Witnesses Upside Down
Viaarxiv icon

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

Differentiable Causal Computations via Delayed Trace

Add code
Mar 04, 2019
Figure 1 for Differentiable Causal Computations via Delayed Trace
Figure 2 for Differentiable Causal Computations via Delayed Trace
Figure 3 for Differentiable Causal Computations via Delayed Trace
Viaarxiv icon