Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
オープンアクセス
-
- 末永 幸平
- 京都大学
書誌事項
- タイトル
- Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs
- 著者
- Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho 0002,
収録刊行物
-
- arXiv
-
arXiv - 2021