Control-data separation and logical condition propagation for efficient inference on probabilistic programs - researchr publication

researchr

You are not signed in
Sign in
Sign up

Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002, Shin-ya Katsumata. Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebr. Meth. Program., 136:100922, January 2024. [doi]

Abstract is missing.

runs on WebDSL