{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:34:07Z","timestamp":1767929647377,"version":"3.49.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"PLDI","license":[{"start":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T00:00:00Z","timestamp":1686009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["GRFP 1745302"],"award-info":[{"award-number":["GRFP 1745302"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"DARPA","award":["HR001119S0005"],"award-info":[{"award-number":["HR001119S0005"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2023,6,6]]},"abstract":"<jats:p>We present a new approach to the design and implementation of probabilistic programming languages (PPLs), based on the idea of stochastically estimating the probability density ratios necessary for probabilistic inference. By relaxing the usual PPL design constraint that these densities be computed exactly, we are able to eliminate many common restrictions in current PPLs, to deliver a language that, for the first time, simultaneously supports first-class constructs for marginalization and nested inference, unrestricted stochastic control flow, continuous and discrete sampling, and programmable inference with custom proposals. At the heart of our approach is a new technique for compiling these expressive probabilistic programs into randomized algorithms for unbiasedly estimating their densities and density reciprocals. We employ these stochastic probability estimators within modified Monte Carlo inference algorithms that are guaranteed to be sound despite their reliance on inexact estimates of density ratios. We establish the correctness of our compiler using logical relations over the semantics of \u03bb<jats:sub><jats:italic>SP<\/jats:italic><\/jats:sub>, a new core calculus for modeling and inference with stochastic probabilities. We also implement our approach in an open-source extension to Gen, called GenSP, and evaluate it on six challenging inference problems adapted from the modeling and inference literature. We find that: (1) \u2004\u200dcan automate fast density estimators for programs with very expensive exact densities; (2) convergence of inference is mostly unaffected by the noise from these estimators; and (3) our sound-by-construction estimators are competitive with hand-coded density estimators, incurring only a small constant-factor overhead.<\/jats:p>","DOI":"10.1145\/3591290","type":"journal-article","created":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T20:06:24Z","timestamp":1686081984000},"page":"1708-1732","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Probabilistic Programming with Stochastic Probabilities"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9262-4392","authenticated-orcid":false,"given":"Alexander K.","family":"Lew","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3052-7412","authenticated-orcid":false,"given":"Matin","family":"Ghavamizadeh","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8095-8523","authenticated-orcid":false,"given":"Martin C.","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2507-0833","authenticated-orcid":false,"given":"Vikash K.","family":"Mansinghka","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, USA"}]}],"member":"320","published-online":{"date-parts":[[2023,6,6]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9868.2009.00736.x"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1214\/07-AOS574"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the international conference for high performance computing, networking, storage and analysis. 1\u201324","author":"Baydin Atilim G\u00fcne\u015f","year":"2019","unstructured":"Atilim G\u00fcne\u015f Baydin , Lei Shao , Wahid Bhimji , Lukas Heinrich , Lawrence Meadows , Jialin Liu , Andreas Munk , Saeid Naderiparizi , Bradley Gram-Hansen , and Gilles Louppe . 2019 . Etalumis: Bringing probabilistic programming to scientific simulators at scale . In Proceedings of the international conference for high performance computing, networking, storage and analysis. 1\u201324 . Atilim G\u00fcne\u015f Baydin, Lei Shao, Wahid Bhimji, Lukas Heinrich, Lawrence Meadows, Jialin Liu, Andreas Munk, Saeid Naderiparizi, Bradley Gram-Hansen, and Gilles Louppe. 2019. Etalumis: Bringing probabilistic programming to scientific simulators at scale. In Proceedings of the international conference for high performance computing, networking, storage and analysis. 1\u201324."},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1093\/genetics\/164.3.1139"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/3322706.3322734"},{"key":"e_1_2_1_6_1","volume-title":"2015 International Conference on Advanced Robotics (ICAR). 510\u2013517","author":"Calli Berk","year":"2015","unstructured":"Berk Calli , Arjun Singh , Aaron Walsman , Siddhartha Srinivasa , Pieter Abbeel , and Aaron M Dollar . 2015 . The YCB object and model set: Towards common benchmarks for manipulation research . In 2015 International Conference on Advanced Robotics (ICAR). 510\u2013517 . Berk Calli, Arjun Singh, Aaron Walsman, Siddhartha Srinivasa, Pieter Abbeel, and Aaron M Dollar. 2015. The YCB object and model set: Towards common benchmarks for manipulation research. In 2015 International Conference on Advanced Robotics (ICAR). 510\u2013517."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_2_1_8_1","volume-title":"Guy Van den Broeck, and Steven Holtzen","author":"Cheng Yu-Hsi","year":"2021","unstructured":"Yu-Hsi Cheng , Todd Millstein , Guy Van den Broeck, and Steven Holtzen . 2021 . flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs . arXiv preprint arXiv:2110.10284. Yu-Hsi Cheng, Todd Millstein, Guy Van den Broeck, and Steven Holtzen. 2021. flip-hoisting: Exploiting Repeated Parameters in Discrete Probabilistic Programs. arXiv preprint arXiv:2110.10284."},{"key":"e_1_2_1_9_1","volume-title":"An introduction to sequential Monte Carlo","author":"Chopin Nicolas","unstructured":"Nicolas Chopin and Omiros Papaspiliopoulos . 2020. An introduction to sequential Monte Carlo . Springer . Nicolas Chopin and Omiros Papaspiliopoulos. 2020. An introduction to sequential Monte Carlo. Springer."},{"key":"e_1_2_1_10_1","volume-title":"AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. Advances in Neural Information Processing Systems, 30","author":"Cusumano-Towner Marco","year":"2017","unstructured":"Marco Cusumano-Towner and Vikash K Mansinghka . 2017 . AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. Advances in Neural Information Processing Systems, 30 (2017). Marco Cusumano-Towner and Vikash K Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. Advances in Neural Information Processing Systems, 30 (2017)."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/AAI28791178"},{"key":"e_1_2_1_12_1","unstructured":"Marco F Cusumano-Towner and Vikash K Mansinghka. 2018. Using probabilistic programs as proposals. arXiv preprint arXiv:1801.03612. Marco F Cusumano-Towner and Vikash K Mansinghka. 2018. Using probabilistic programs as proposals. arXiv preprint arXiv:1801.03612."},{"key":"e_1_2_1_13_1","unstructured":"Marco F Cusumano-Towner Alexey Radul David Wingate and Vikash K Mansinghka. 2017. Probabilistic programs for inferring the goals of autonomous agents. arXiv preprint arXiv:1704.04977. Marco F Cusumano-Towner Alexey Radul David Wingate and Vikash K Mansinghka. 2017. Probabilistic programs for inferring the goals of autonomous agents. arXiv preprint arXiv:1704.04977."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1093\/biomet\/asu075"},{"key":"e_1_2_1_16_1","doi-asserted-by":"crossref","first-page":"497","DOI":"10.1111\/j.1467-9868.2010.00744.x","article-title":"Random-weight particle filtering of continuous time processes","volume":"72","author":"Fearnhead Paul","year":"2010","unstructured":"Paul Fearnhead , Omiros Papaspiliopoulos , Gareth O Roberts , and Andrew Stuart . 2010 . Random-weight particle filtering of continuous time processes . Journal of the Royal Statistical Society: Series B (Statistical Methodology) , 72 , 4 (2010), 497 \u2013 512 . Paul Fearnhead, Omiros Papaspiliopoulos, Gareth O Roberts, and Andrew Stuart. 2010. Random-weight particle filtering of continuous time processes. Journal of the Royal Statistical Society: Series B (Statistical Methodology), 72, 4 (2010), 497\u2013512.","journal-title":"Journal of the Royal Statistical Society: Series B (Statistical Methodology)"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/358669.358692"},{"key":"e_1_2_1_18_1","volume-title":"International Conference on Artificial Intelligence and Statistics, AISTATS 2018","volume":"1690","author":"Ge Hong","year":"2018","unstructured":"Hong Ge , Kai Xu , and Zoubin Ghahramani . 2018 . Turing: Composable inference for probabilistic programming . In International Conference on Artificial Intelligence and Statistics, AISTATS 2018 , 9-11 April 2018, Playa Blanca, Lanzarote, Canary Islands, Spain, Amos J. Storkey and Fernando P\u00e9rez-Cruz (Eds.) (Proceedings of Machine Learning Research , Vol. 84). PMLR, 1682\u2013 1690 . http:\/\/proceedings.mlr.press\/v84\/ge18b.html Hong Ge, Kai Xu, and Zoubin Ghahramani. 2018. Turing: Composable inference for probabilistic programming. In International Conference on Artificial Intelligence and Statistics, AISTATS 2018, 9-11 April 2018, Playa Blanca, Lanzarote, Canary Islands, Spain, Amos J. Storkey and Fernando P\u00e9rez-Cruz (Eds.) (Proceedings of Machine Learning Research, Vol. 84). PMLR, 1682\u20131690. http:\/\/proceedings.mlr.press\/v84\/ge18b.html"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386006"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2016.08.005"},{"key":"e_1_2_1_21_1","volume-title":"UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence","author":"Goodman Noah D.","year":"2008","unstructured":"Noah D. Goodman , Vikash K. Mansinghka , Daniel M. Roy , Kallista A. Bonawitz , and Joshua B. Tenenbaum . 2008. Church: a language for generative models . In UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence , Helsinki, Finland , July 9-12, 2008 , David A. McAllester and Petri Myllym\u00e4ki (Eds.). AUAI Press, 220\u2013229. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1346&proceeding_id=24 Noah D. Goodman, Vikash K. Mansinghka, Daniel M. Roy, Kallista A. Bonawitz, and Joshua B. Tenenbaum. 2008. Church: a language for generative models. In UAI 2008, Proceedings of the 24th Conference in Uncertainty in Artificial Intelligence, Helsinki, Finland, July 9-12, 2008, David A. McAllester and Petri Myllym\u00e4ki (Eds.). AUAI Press, 220\u2013229. https:\/\/dslpitt.org\/uai\/displayArticleDetails.jsp?mmnu=1&smnu=2&article_id=1346&proceeding_id=24"},{"key":"e_1_2_1_22_1","volume-title":"Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021","author":"Gothoskar Nishad","year":"2021","unstructured":"Nishad Gothoskar , Marco F. Cusumano-Towner , Ben Zinberg , Matin Ghavamizadeh , Falk Pollok , Austin Garrett , Josh Tenenbaum , Dan Gutfreund , and Vikash K. Mansinghka . 2021. 3DP3: 3D Scene Perception via Probabilistic Programming . In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021 , NeurIPS 2021 , December 6-14, 2021, virtual, Marc\u2019Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, and Jennifer Wortman Vaughan (Eds.). 9600\u20139612. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/4fc66104f8ada6257fa55f29a2a567c7-Abstract.html Nishad Gothoskar, Marco F. Cusumano-Towner, Ben Zinberg, Matin Ghavamizadeh, Falk Pollok, Austin Garrett, Josh Tenenbaum, Dan Gutfreund, and Vikash K. Mansinghka. 2021. 3DP3: 3D Scene Perception via Probabilistic Programming. In Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, NeurIPS 2021, December 6-14, 2021, virtual, Marc\u2019Aurelio Ranzato, Alina Beygelzimer, Yann N. Dauphin, Percy Liang, and Jennifer Wortman Vaughan (Eds.). 9600\u20139612. https:\/\/proceedings.neurips.cc\/paper\/2021\/hash\/4fc66104f8ada6257fa55f29a2a567c7-Abstract.html"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45231-5_17"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2018.00133"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2015.7298990"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371084"},{"key":"e_1_2_1_29_1","volume-title":"The 24th International Conference on Artificial Intelligence and Statistics, AISTATS 2021","volume":"1935","author":"Lew Alexander K.","year":"2021","unstructured":"Alexander K. Lew , Monica Agrawal , David A. Sontag , and Vikash Mansinghka . 2021 . PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming . In The 24th International Conference on Artificial Intelligence and Statistics, AISTATS 2021 , April 13-15, 2021, Virtual Event, Arindam Banerjee and Kenji Fukumizu (Eds.) (Proceedings of Machine Learning Research , Vol. 130). PMLR, 1927\u2013 1935 . http:\/\/proceedings.mlr.press\/v130\/lew21a.html Alexander K. Lew, Monica Agrawal, David A. Sontag, and Vikash Mansinghka. 2021. PClean: Bayesian Data Cleaning at Scale with Domain-Specific Probabilistic Programming. In The 24th International Conference on Artificial Intelligence and Statistics, AISTATS 2021, April 13-15, 2021, Virtual Event, Arindam Banerjee and Kenji Fukumizu (Eds.) (Proceedings of Machine Learning Research, Vol. 130). PMLR, 1927\u20131935. http:\/\/proceedings.mlr.press\/v130\/lew21a.html"},{"key":"e_1_2_1_30_1","volume-title":"Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022","volume":"1106","author":"Lew Alexander K.","year":"2022","unstructured":"Alexander K. Lew , Marco F. Cusumano-Towner , and Vikash K. Mansinghka . 2022. Recursive Monte Carlo and variational inference with auxiliary variables. In Uncertainty in Artificial Intelligence , Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022 , 1-5 August 2022 , Eindhoven, The Netherlands, James Cussens and Kun Zhang (Eds.) (Proceedings of Machine Learning Research , Vol. 180). PMLR, 1096\u2013 1106 . https:\/\/proceedings.mlr.press\/v180\/lew22a.html Alexander K. Lew, Marco F. Cusumano-Towner, and Vikash K. Mansinghka. 2022. Recursive Monte Carlo and variational inference with auxiliary variables. In Uncertainty in Artificial Intelligence, Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, 1-5 August 2022, Eindhoven, The Netherlands, James Cussens and Kun Zhang (Eds.) (Proceedings of Machine Learning Research, Vol. 180). PMLR, 1096\u20131106. https:\/\/proceedings.mlr.press\/v180\/lew22a.html"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3371087"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571198"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571243"},{"key":"e_1_2_1_34_1","volume-title":"Perov","author":"Mansinghka Vikash","year":"2014","unstructured":"Vikash Mansinghka , Daniel Selsam , and Yura N . Perov . 2014 . Venture: a higher-order probabilistic programming platform with programmable inference. CoRR , abs\/1404.0099 (2014), arXiv:1404.0099. arxiv:1404.0099 Vikash Mansinghka, Daniel Selsam, and Yura N. Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR, abs\/1404.0099 (2014), arXiv:1404.0099. arxiv:1404.0099"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3192366.3192409"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/0306-4573(91)90066-U"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3374208"},{"key":"e_1_2_1_38_1","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1080\/10618600.2000.10474879","article-title":"Markov chain sampling methods for Dirichlet process mixture models","volume":"9","author":"Neal Radford M","year":"2000","unstructured":"Radford M Neal . 2000 . Markov chain sampling methods for Dirichlet process mixture models . Journal of computational and graphical statistics , 9 , 2 (2000), 249 \u2013 265 . Radford M Neal. 2000. Markov chain sampling methods for Dirichlet process mixture models. Journal of computational and graphical statistics, 9, 2 (2000), 249\u2013265.","journal-title":"Journal of computational and graphical statistics"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018","author":"Rainforth Tom","year":"2018","unstructured":"Tom Rainforth . 2018 . Nesting Probabilistic Programs . In Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018 , Monterey, California, USA , August 6-10, 2018, Amir Globerson and Ricardo Silva (Eds.). AUAI Press, 249\u2013258. http:\/\/auai.org\/uai2018\/proceedings\/papers\/92.pdf Tom Rainforth. 2018. Nesting Probabilistic Programs. In Proceedings of the Thirty-Fourth Conference on Uncertainty in Artificial Intelligence, UAI 2018, Monterey, California, USA, August 6-10, 2018, Amir Globerson and Ricardo Silva (Eds.). AUAI Press, 249\u2013258. http:\/\/auai.org\/uai2018\/proceedings\/papers\/92.pdf"},{"key":"e_1_2_1_40_1","volume-title":"Universal probabilistic programming offers a powerful approach to statistical phylogenetics. Communications biology, 4, 1","author":"Ronquist Fredrik","year":"2021","unstructured":"Fredrik Ronquist , Jan Kudlicka , Viktor Senderov , Johannes Borgstr\u00f6m , Nicolas Lartillot , Daniel Lund\u00e9n , Lawrence Murray , Thomas B Sch\u00f6n , and David Broman . 2021. Universal probabilistic programming offers a powerful approach to statistical phylogenetics. Communications biology, 4, 1 ( 2021 ), 244. Fredrik Ronquist, Jan Kudlicka, Viktor Senderov, Johannes Borgstr\u00f6m, Nicolas Lartillot, Daniel Lund\u00e9n, Lawrence Murray, Thomas B Sch\u00f6n, and David Broman. 2021. Universal probabilistic programming offers a powerful approach to statistical phylogenetics. Communications biology, 4, 1 (2021), 244."},{"key":"e_1_2_1_41_1","volume-title":"Proceedings of the ACM on Programming Languages, 3, POPL","author":"Saad Feras A","year":"2019","unstructured":"Feras A Saad , Marco F Cusumano-Towner , Ulrich Schaechtle , Martin C Rinard , and Vikash K Mansinghka . 2019 . Bayesian synthesis of probabilistic programs for automatic data modeling . Proceedings of the ACM on Programming Languages, 3, POPL (2019), 1\u201332. Feras A Saad, Marco F Cusumano-Towner, Ulrich Schaechtle, Martin C Rinard, and Vikash K Mansinghka. 2019. Bayesian synthesis of probabilistic programs for automatic data modeling. Proceedings of the ACM on Programming Languages, 3, POPL (2019), 1\u201332."},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158148"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009852"},{"key":"e_1_2_1_45_1","unstructured":"Sam Stites Heiko Zimmermann Hao Wu Eli Sennesh and Jan-Willem van de Meent. 2021. Learning proposals for probabilistic programs with inference combinators. In Uncertainty in Artificial Intelligence. 1056\u20131066. Sam Stites Heiko Zimmermann Hao Wu Eli Sennesh and Jan-Willem van de Meent. 2021. Learning proposals for probabilistic programs with inference combinators. In Uncertainty in Artificial Intelligence. 1056\u20131066."},{"key":"e_1_2_1_46_1","volume-title":"2nd International Workshop on Statistical Relational AI (StaRAI-12)","author":"Stuhlm\u00fcller Andreas","year":"2012","unstructured":"Andreas Stuhlm\u00fcller and Noah D. Goodman . 2012. A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs . In 2nd International Workshop on Statistical Relational AI (StaRAI-12) , held at the Uncertainty in Artificial Intelligence Conference (UAI 2012 ), Catalina Island, CA, USA, August 18, 2012, Henry A. Kautz, Kristian Kersting, Sriraam Natarajan, and David Poole (Eds.). https:\/\/starai.cs.kuleuven.be\/2012\/accepted\/stuhlmuller.pdf Andreas Stuhlm\u00fcller and Noah D. Goodman. 2012. A Dynamic Programming Algorithm for Inference in Recursive Probabilistic Programs. In 2nd International Workshop on Statistical Relational AI (StaRAI-12), held at the Uncertainty in Artificial Intelligence Conference (UAI 2012), Catalina Island, CA, USA, August 18, 2012, Henry A. Kautz, Kristian Kersting, Sriraam Natarajan, and David Poole (Eds.). https:\/\/starai.cs.kuleuven.be\/2012\/accepted\/stuhlmuller.pdf"},{"key":"e_1_2_1_47_1","unstructured":"Minh-Ngoc Tran Marcel Scharth Michael K Pitt and Robert Kohn. 2013. Importance sampling squared for Bayesian inference in latent variable models. arXiv preprint arXiv:1309.3339. Minh-Ngoc Tran Marcel Scharth Michael K Pitt and Robert Kohn. 2013. Importance sampling squared for Bayesian inference in latent variable models. arXiv preprint arXiv:1309.3339."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454077"},{"key":"e_1_2_1_49_1","volume-title":"Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014 (JMLR Workshop and Conference Proceedings","volume":"1032","author":"Wood Frank D.","unstructured":"Frank D. Wood , Jan-Willem van de Meent, and Vikash Mansinghka. 2014. A New Approach to Probabilistic Programming Inference . In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014 (JMLR Workshop and Conference Proceedings , Vol. 33). JMLR.org, 1024\u2013 1032 . http:\/\/proceedings.mlr.press\/v33\/wood14.html Frank D. Wood, Jan-Willem van de Meent, and Vikash Mansinghka. 2014. A New Approach to Probabilistic Programming Inference. In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014 (JMLR Workshop and Conference Proceedings, Vol. 33). JMLR.org, 1024\u20131032. http:\/\/proceedings.mlr.press\/v33\/wood14.html"},{"key":"e_1_2_1_50_1","volume-title":"Proceedings of the ACM on Programming Languages, 6, POPL","author":"Zhang Yizhou","year":"2022","unstructured":"Yizhou Zhang and Nada Amin . 2022 . Reasoning about \u201creasoning about reasoning\u201d: semantics and contextual equivalence for probabilistic programs with nested queries and recursion . Proceedings of the ACM on Programming Languages, 6, POPL (2022), 1\u201328. Yizhou Zhang and Nada Amin. 2022. Reasoning about \u201creasoning about reasoning\u201d: semantics and contextual equivalence for probabilistic programs with nested queries and recursion. Proceedings of the ACM on Programming Languages, 6, POPL (2022), 1\u201328."},{"key":"e_1_2_1_51_1","volume-title":"Advances in Neural Information Processing Systems","author":"Zhi-Xuan Tan","year":"2020","unstructured":"Tan Zhi-Xuan , Jordyn L. Mann , Tom Silver , Joshua B. Tenenbaum , and Vikash K. Mansinghka . 2020. Online Bayesian goal inference for boundedly-rational planning agents . Advances in Neural Information Processing Systems , 2020- December ( 2020 ), issn:10495258 arxiv:2006.07532. Tan Zhi-Xuan, Jordyn L. Mann, Tom Silver, Joshua B. Tenenbaum, and Vikash K. Mansinghka. 2020. Online Bayesian goal inference for boundedly-rational planning agents. Advances in Neural Information Processing Systems, 2020-December (2020), issn:10495258 arxiv:2006.07532."},{"key":"e_1_2_1_52_1","unstructured":"Robert Zinkov and Chung-chieh Shan. 2016. Composing inference algorithms as program transformations. arXiv preprint arXiv:1603.01882. Robert Zinkov and Chung-chieh Shan. 2016. Composing inference algorithms as program transformations. arXiv preprint arXiv:1603.01882."},{"key":"e_1_2_1_53_1","volume-title":"Proceedings 2007 IEEE International Conference on Robotics and Automation. 1603\u20131609","author":"Zucker Matt","year":"2007","unstructured":"Matt Zucker , James Kuffner , and Michael Branicky . 2007 . Multipartite RRTs for rapid replanning in dynamic environments . In Proceedings 2007 IEEE International Conference on Robotics and Automation. 1603\u20131609 . Matt Zucker, James Kuffner, and Michael Branicky. 2007. Multipartite RRTs for rapid replanning in dynamic environments. In Proceedings 2007 IEEE International Conference on Robotics and Automation. 1603\u20131609."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591290","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3591290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:20Z","timestamp":1750178840000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3591290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":53,"journal-issue":{"issue":"PLDI","published-print":{"date-parts":[[2023,6,6]]}},"alternative-id":["10.1145\/3591290"],"URL":"https:\/\/doi.org\/10.1145\/3591290","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,6,6]]},"assertion":[{"value":"2023-06-06","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}