{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:15:42Z","timestamp":1784211342661,"version":"3.55.0"},"reference-count":90,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","license":[{"start":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T00:00:00Z","timestamp":1767830400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2026,1,8]]},"abstract":"<jats:p>\n                    We present GenJAX, a new language and compiler for vectorized programmable probabilistic inference. GenJAX integrates the vectorizing map\n                    <jats:bold>\n                      <jats:monospace>(vmap)<\/jats:monospace>\n                    <\/jats:bold>\n                    operation from array programming frameworks such as JAX into the programmable inference paradigm, enabling compositional vectorization of features such as probabilistic program traces, stochastic branching (for expressing mixture models), and programmable inference interfaces for writing custom probabilistic inference algorithms. We formalize vectorization as a source-to-source program transformation on a core calculus for probabilistic programming (\n                    <jats:monospace>\n                      \u03bb\n                      <jats:sub>GEN<\/jats:sub>\n                    <\/jats:monospace>\n                    ), and prove that it correctly vectorizes both modeling and inference operations. We have implemented our approach in the GenJAX language and compiler, and have empirically evaluated this implementation on several benchmarks and case studies. Our results show that our implementation supports a wide and expressive set of programmable inference patterns and delivers performance comparable to hand-optimized JAX code.\n                  <\/jats:p>","DOI":"10.1145\/3776729","type":"journal-article","created":{"date-parts":[[2026,1,8]],"date-time":"2026-01-08T18:59:43Z","timestamp":1767898783000},"page":"2523-2554","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Programming with Vectorized Programmable Inference"],"prefix":"10.1145","volume":"10","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-1930-8150","authenticated-orcid":false,"given":"McCoy R.","family":"Becker","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5294-9088","authenticated-orcid":false,"given":"Mathieu","family":"Huot","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-5293-9521","authenticated-orcid":false,"given":"George","family":"Matheos","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7058-4679","authenticated-orcid":false,"given":"Xiaoyan","family":"Wang","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0008-9993-7675","authenticated-orcid":false,"given":"Karen","family":"Chung","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1473-9191","authenticated-orcid":false,"given":"Colin","family":"Smith","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0545-6360","authenticated-orcid":false,"given":"Sam","family":"Ritchie","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2877-6957","authenticated-orcid":false,"given":"Rif A.","family":"Saurous","sequence":"additional","affiliation":[{"name":"Google, San Francisco, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9262-4392","authenticated-orcid":false,"given":"Alexander K.","family":"Lew","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8095-8523","authenticated-orcid":false,"given":"Martin C.","family":"Rinard","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2507-0833","authenticated-orcid":false,"given":"Vikash K.","family":"Mansinghka","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,1,8]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","unstructured":"Mart\u00edn Abadi Ashish Agarwal Paul Barham Eugene Brevdo Zhifeng Chen Craig Citro Greg S. Corrado Andy Davis Jeffrey Dean Matthieu Devin Sanjay Ghemawat Ian Goodfellow Andrew Harp Geoffrey Irving Michael Isard Yangqing Jia Rafal Jozefowicz Lukasz Kaiser Manjunath Kudlur Josh Levenberg Dan Man\u00e9 Rajat Monga Sherry Moore Derek Murray Chris Olah Mike Schuster Jonathon Shlens Benoit Steiner Ilya Sutskever Kunal Talwar Paul Tucker Vincent Vanhoucke Vijay Vasudevan Fernanda Vi\u00e9gas Oriol Vinyals Pete Warden Martin Wattenberg Martin Wicke Yuan Yu and Xiaoqiang Zheng. 2016. TensorFlow: Large-Scale Machine Learning on Heterogeneous Systems. doi:10.48550\/arXiv.1603.04467 Software available from tensorflow.org.","DOI":"10.48550\/arXiv.1603.04467"},{"key":"e_1_3_2_3_2","volume-title":"Structure and Interpretation of Computer Programs","author":"Abelson Harold","year":"1996","unstructured":"Harold Abelson and Gerald J. Sussman. 1996. Structure and Interpretation of Computer Programs, Second Edition. MIT Press, Cambridge, MA, USA."},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2106.13249"},{"key":"e_1_3_2_5_2","first-page":"2469","volume-title":"Proceedings of the 33rd Annual Conference of the Cognitive Science Society","author":"Baker Chris L.","year":"2011","unstructured":"Chris L. Baker, Rebecca R. Saxe, and Joshua B. Tenenbaum. 2011. Bayesian Theory of Mind: Modeling Joint Belief-Desire Attribution. In Proceedings of the 33rd Annual Conference of the Cognitive Science Society. Cognitive Science Society, Boston, MA, USA, 2469\u20132474. https:\/\/escholarship.org\/uc\/item\/5rk7z59q"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/3295500.3356180"},{"key":"e_1_3_2_7_2","doi-asserted-by":"publisher","unstructured":"McCoy R. Becker Mathieu Huot George Matheos Xiaoyan Wang Karen Chung Colin Smith Sam Ritchie Alexander K. Lew Martin Rinard and Vikash K. Mansinghka. 2025. GenJAX: Probabilistic Programming with Vectorized Programmable Inference. doi:10.5281\/zenodo.17594132","DOI":"10.5281\/zenodo.17594132"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656463"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1810.09538"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.2017.1285773"},{"key":"e_1_3_2_11_2","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1994.1031"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951942"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2017.2699226"},{"key":"e_1_3_2_14_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11222-008-9059-x"},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v076.i01"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","unstructured":"Katherine M. Collins Ilia Sucholutsky Umang Bhatt Kartik Chandra Lionel Wong Mina Lee Cedegao E. Zhang Tan Zhi-Xuan Mark Ho Vikash Mansinghka Adrian Weller Joshua B. Tenenbaum and Thomas L. Griffiths. 2024. Building Machines that Learn and Think with People. doi:10.48550\/arXiv.2408.03943 Software available from tensorflow.org.","DOI":"10.48550\/arXiv.2408.03943"},{"key":"e_1_3_2_17_2","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2024.XX.118"},{"key":"e_1_3_2_18_2","doi-asserted-by":"publisher","unstructured":"Marco F. Cusumano-Towner Alexander K. Lew and Vikash K. Mansinghka. 2020. Automating Involutive MCMC using Probabilistic and Differentiable Programming. CoRR abs\/2007.09871 (July 2020). doi:10.48550\/arXiv.2007.09871","DOI":"10.48550\/arXiv.2007.09871"},{"key":"e_1_3_2_19_2","doi-asserted-by":"publisher","unstructured":"Marco F. Cusumano-Towner and Vikash K. Mansinghka. 2017. AIDE: An algorithm for measuring the accuracy of probabilistic inference algorithms. CoRR abs\/1705.07224 (Nov. 2017). doi:10.48550\/arXiv.1705.07224","DOI":"10.48550\/arXiv.1705.07224"},{"key":"e_1_3_2_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_3_2_21_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9868.2006.00553.x"},{"key":"e_1_3_2_22_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.2517-6161.1977.tb01600.x"},{"key":"e_1_3_2_23_2","doi-asserted-by":"publisher","unstructured":"Justin Domke. 2021. An Easy to Interpret Diagnostic for Approximate Inference: Symmetric Divergence Over Simulations. CoRR abs\/2103.01030 (Feb. 2021). doi:10.48550\/arXiv.2103.01030","DOI":"10.48550\/arXiv.2103.01030"},{"key":"e_1_3_2_24_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3437-0"},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2006.1638022"},{"key":"e_1_3_2_26_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007469218079"},{"key":"e_1_3_2_27_2","unstructured":"Roy Frostig Matthew James Johnson and Chris Leary. 2018. Compiling machine learning programs via high-level tracing. SysML 2018."},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010043619517"},{"key":"e_1_3_2_29_2","doi-asserted-by":"publisher","DOI":"10.1038\/scientificamerican1070-120"},{"key":"e_1_3_2_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.1984.4767596"},{"key":"e_1_3_2_31_2","doi-asserted-by":"publisher","DOI":"10.1111\/1467-9868.00280"},{"key":"e_1_3_2_32_2","first-page":"324","volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS) (JMLR Proceedings, Vol. 15)","author":"Gonzalez Joseph","year":"2011","unstructured":"Joseph Gonzalez, Yucheng Low, Arthur Gretton, and Carlos Guestrin. 2011. Parallel Gibbs Sampling: From Colored Fields to Thin Junction Trees. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics (AISTATS) (JMLR Proceedings, Vol. 15). JMLR.org, Fort Lauderdale, FL, USA, 324\u2013332. https:\/\/proceedings.mlr.press\/v15\/gonzalez11a.html"},{"key":"e_1_3_2_33_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1206.3255"},{"key":"e_1_3_2_34_2","unstructured":"Noah D. Goodman and Andreas Stuhlm\"uller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org Electronic; retrieved 2025-07-13."},{"key":"e_1_3_2_35_2","doi-asserted-by":"publisher","DOI":"10.1049\/ip-f-2.1993.0015"},{"key":"e_1_3_2_36_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2111.00312"},{"key":"e_1_3_2_37_2","doi-asserted-by":"publisher","DOI":"10.2307\/2337340"},{"key":"e_1_3_2_38_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-020-2649-2"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.2307\/2334940"},{"key":"e_1_3_2_40_2","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2017.8005137"},{"key":"e_1_3_2_41_2","doi-asserted-by":"crossref","unstructured":"Roger K.W. Hui Kenneth E. Iverson Eugene E. McDonnell and Arthur T. Whitney. 1990. APL? . APL Quote Quad 20 4 (1990). http:\/\/www.jsoftware.com\/papers\/J90.htm","DOI":"10.1145\/97811.97845"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1145\/3566409"},{"key":"e_1_3_2_43_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45213-5_17"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1145\/1460833.1460872"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243447"},{"key":"e_1_3_2_46_2","volume-title":"Prentice Hall","author":"Jones Neil D.","year":"1993","unstructured":"Neil D. Jones, Carsten K. Gomard, and Peter Sestoft. 1993. Partial evaluation and automatic program generation. Prentice Hall, Englewood Cliffs, NJ, USA."},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1007665907178"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-4076(94)90036-1"},{"key":"e_1_3_2_49_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1312.6114"},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2007.11838"},{"key":"e_1_3_2_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/3371087"},{"key":"e_1_3_2_52_2","doi-asserted-by":"publisher","DOI":"10.1145\/3591290"},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/3571198"},{"key":"e_1_3_2_54_2","first-page":"7061","volume-title":"International Conference on Artificial Intelligence and Statistics","author":"Lew Alexander K.","year":"2023","unstructured":"Alexander K. Lew, George Matheos, Tan Zhi-Xuan, Matin Ghavamizadeh, Nishad Gothoskar, Stuart Russell, and Vikash K. Mansinghka. 2023. SMCP3: Sequential Monte Carlo with Probabilistic Program Proposals. In International Conference on Artificial Intelligence and Statistics, 25-27 April 2023, Valencia, Spain.Palau de Congressos, Valencia, Spain (Proceedings of Machine Learning Research, Vol. 206), Francisco J. R. Ruiz, Jennifer G. Dy, and Jan-Willem van de Meent (Eds.). PMLR, Valencia, Spain, 7061\u20137088. https:\/\/proceedings.mlr.press\/v206\/lew23a.html"},{"key":"e_1_3_2_55_2","unstructured":"Alexander K. Lew Eli Sennesh Jan-Willem Van De Meent and Vikash K. Mansinghka. 2023. Semantics of Probabilistic Program Traces. . In LAFI 2023 at POPL (Boston MA). ACM Boston MA USA.https:\/\/popl23.sigplan.org\/details\/lafi-2023-papers\/1\/Semantics-of-Probabilistic-Program-Traces"},{"key":"e_1_3_2_56_2","doi-asserted-by":"publisher","unstructured":"Sangho Lim Hyoungjin Lim Wonyeol Lee Xavier Rival and Hongseok Yang. 2025. Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation. doi:10.48550\/arXiv.2511.11070 [cs.PL]","DOI":"10.48550\/arXiv.2511.11070"},{"key":"e_1_3_2_57_2","first-page":"914","volume-title":"In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics","author":"Linderman Scott","year":"2017","unstructured":"Scott Linderman, Matthew Johnson, Andrew Miller, Ryan Adams, David Blei, and Liam Paninski. 2017. Bayesian Learning and Inference in Recurrent Switching Linear Dynamical Systems. In In Proceedings of the 20th International Conference on Artificial Intelligence and Statistics. PMLR, Fort Lauderdale, FL, USA, 914\u2013922. https:\/\/proceedings.mlr.press\/v54\/linderman17a.html"},{"key":"e_1_3_2_58_2","doi-asserted-by":"publisher","unstructured":"Benjamin Lipkin Benjamin LeBrun Jacob Hoover Vigly Jo\u00e3o Loula David R. MacIver Li Du Jason Eisner Ryan Cotterell Vikash Mansinghka Timothy J. O\u2019Donnell Alexander K. Lew and Tim Vieira. 2025. Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling. doi:10.48550\/arXiv.2504.05410 [cs]","DOI":"10.48550\/arXiv.2504.05410"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","unstructured":"Jo\u00e3o Loula Benjamin LeBrun Li Du Ben Lipkin Clemente Pasti Gabriel Grand Tianyu Liu Yahya Emara Marjorie Freedman Jason Eisner Ryan Cotterell Vikash Mansinghka Alexander K. Lew Tim Vieira and Timothy J. O\u2019Donnell. 2025. Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo. CoRR abs\/2504.13139. doi:10.48550\/arXiv.2504.13139","DOI":"10.48550\/arXiv.2504.13139"},{"key":"e_1_3_2_60_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-99336-8_2"},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","unstructured":"Vikash Mansinghka Daniel Selsam and Yura Perov. 2014. Venture: a higher-order probabilistic programming platform with programmable inference. CoRR abs\/1404.0099. doi:10.48550\/arXiv.1404.0099","DOI":"10.48550\/arXiv.1404.0099"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1145\/3296979.3192409"},{"key":"e_1_3_2_63_2","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814275"},{"key":"e_1_3_2_64_2","unstructured":"MIT Probabilistic omputing Project. 2025. GenJAX: Source Code Repository. GitHub. https:\/\/github.com\/probcomp\/genjax"},{"key":"e_1_3_2_65_2","first-page":"833","volume-title":"Advances in Neural Information Processing Systems 14: NIPS 2001","author":"Murphy Kevin P.","year":"2001","unstructured":"Kevin P. Murphy and Mark A. Paskin. 2001. Linear-time inference in hierarchical HMMs. In Advances in Neural Information Processing Systems 14: NIPS 2001, December 3\u20138, 2001,, Vancouver, British Columbia, Canada, Thomas G. Dietterich, Suzanna Becker, and Zoubin Ghahramani (Eds.). MIT Press, Vancouver, BC, Canada, 833\u2013840. https:\/\/proceedings.neurips.cc\/paper\/2001\/hash\/aebf7782a3d445f43cf30ee2c0d84dee-Abstract.html"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1708.07787"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1206.1901"},{"key":"e_1_3_2_69_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1912.01703"},{"key":"e_1_3_2_70_2","doi-asserted-by":"publisher","unstructured":"Du Phan Neeraj Pradhan and Martin Jankowiak. 2019. Composable Effects for Flexible and Accelerated Probabilistic Programming in NumPyro. CoRR abs\/1912.11554 (2019). https:\/\/doi.org\/10.48550\/arXiv.1912.1155410.48550\/arXiv.1912.11554","DOI":"10.48550\/arXiv.1912.11554"},{"key":"e_1_3_2_71_2","doi-asserted-by":"publisher","DOI":"10.1109\/InPar.2012.6339601"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1401.0118"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2307.09607"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","unstructured":"Feras A. Saad Marco Cusumano-Towner and Vikash K. Mansinghka. 2022. Estimators of Entropy and Information via Inference in Probabilistic Models. CoRR abs\/2202.12363 (April 2022). doi:10.48550\/arXiv.2202.12363","DOI":"10.48550\/arXiv.2202.12363"},{"key":"e_1_3_2_75_2","doi-asserted-by":"publisher","DOI":"10.1145\/3290350"},{"key":"e_1_3_2_76_2","doi-asserted-by":"publisher","unstructured":"Feras A. Saad Cameron E. Freer Nathanael L. Ackerman and Vikash K. Mansinghka. 2019. A Family of Exact Goodness-of-Fit Tests for High-Dimensional Discrete Distributions. CoRR abs\/1902.10142 (Feb. 2019). doi:10.48550\/arXiv.1902.10142 [cs.LG]","DOI":"10.48550\/arXiv.1902.10142"},{"key":"e_1_3_2_77_2","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063405"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.55"},{"key":"e_1_3_2_79_2","doi-asserted-by":"publisher","DOI":"10.1145\/3158148"},{"key":"e_1_3_2_80_2","doi-asserted-by":"publisher","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 Proceedings of the Thirty-Seventh Conference on Uncertainty in Artificial Intelligence. PMLR Virtual 1056\u20131066. doi:10.48550\/arXiv.2103.00668 ISSN: 2640-3498.","DOI":"10.48550\/arXiv.2103.00668"},{"key":"e_1_3_2_81_2","first-page":"145","volume-title":"Applied Semantics Summer School","author":"Taha Walid","year":"1999","unstructured":"Walid Taha. 1999. Multi-stage programming: its theory and applications. In Applied Semantics Summer School. Springer, Caminha, Portugal, 145\u2013174."},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176325750"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1145\/3064899"},{"key":"e_1_3_2_84_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1701.03757"},{"key":"e_1_3_2_85_2","doi-asserted-by":"publisher","unstructured":"Dustin Tran Alp Kucukelbir Adji B. Dieng Maja Rudolph Dawen Liang and David M. Blei. 2016. Edward: A library for probabilistic modeling inference and criticism. CoRR abs\/1610.09787 (2016). doi:10.48550\/arXiv.1610.09787 [stat.ML]","DOI":"10.48550\/arXiv.1610.09787"},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1312.3613"},{"key":"e_1_3_2_87_2","first-page":"770","volume-title":"Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics","author":"Wingate David","year":"2011","unstructured":"David Wingate, Andreas Stuhlmueller, and Noah Goodman. 2011. Lightweight Implementations of Probabilistic Programming Languages Via Transformational Compilation. In Proceedings of the Fourteenth International Conference on Artificial Intelligence and Statistics. JMLR Workshop and Conference Proceedings, Fort Lauderdale, FL, USA, 770\u2013778. https:\/\/proceedings.mlr.press\/v15\/wingate11a.html ISSN: 1938-7228."},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","unstructured":"Lionel Wong Gabriel Grand Alexander K. Lew Noah D. Goodman Vikash K. Mansinghka Jacob Andreas and Joshua B. Tenenbaum. 2023. From Word Models to World Models: Translating from Natural Language to the Probabilistic Language of Thought. CoRR abs\/2306.12672 (2023). doi:10.48550\/arXiv.2306.12672 [cs.CL]","DOI":"10.48550\/arXiv.2306.12672"},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","unstructured":"Lance Ying Tan Zhi-Xuan Lionel Wong Vikash Mansinghka and Joshua Tenenbaum. 2024. Grounding Language about Belief in a Bayesian Theory-of-Mind. CoRR abs\/2402.10416. doi:10.48550\/arXiv.2402.10416 [cs].","DOI":"10.48550\/arXiv.2402.10416"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2006.07532"},{"key":"e_1_3_2_91_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.01977"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3776729","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T13:41:00Z","timestamp":1784209260000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3776729"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,8]]},"references-count":90,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2026,1,8]]}},"alternative-id":["10.1145\/3776729"],"URL":"https:\/\/doi.org\/10.1145\/3776729","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,1,8]]},"assertion":[{"value":"2025-07-10","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-11-06","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2026-01-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}