{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T11:05:48Z","timestamp":1784199948948,"version":"3.55.0"},"reference-count":156,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA2","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2025,10,9]]},"abstract":"<jats:p>\n                    The human ability to think about thinking (\u201ctheory of mind\u201d) is a fundamental object of study in many disciplines. In recent decades, researchers across these disciplines have converged on a rich computational paradigm for modeling theory of mind, grounded in recursive probabilistic reasoning. However, practitioners often find programming in this paradigm challenging: first, because thinking-about-thinking is confusing for programmers, and second, because models are slow to run. This paper presents\n                    <jats:bold>memo<\/jats:bold>\n                    , a new\n                    <jats:italic toggle=\"yes\">domain-specific<\/jats:italic>\n                    probabilistic programming language that overcomes these challenges: first, by providing specialized syntax and semantics for theory of mind, and second, by taking a unique approach to inference that scales well on modern hardware via array programming. memo enables practitioners to write dramatically faster models with much less code, and has already been adopted by several research groups.\n                  <\/jats:p>","DOI":"10.1145\/3763078","type":"journal-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T08:49:50Z","timestamp":1759999790000},"page":"784-814","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Domain-Specific Probabilistic Programming Language for Reasoning about Reasoning (Or: A Memo on memo)"],"prefix":"10.1145","volume":"9","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1835-3707","authenticated-orcid":false,"given":"Kartik","family":"Chandra","sequence":"first","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-2518-2934","authenticated-orcid":false,"given":"Tony","family":"Chen","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1925-2035","authenticated-orcid":false,"given":"Joshua B.","family":"Tenenbaum","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6243-9543","authenticated-orcid":false,"given":"Jonathan","family":"Ragan-Kelley","sequence":"additional","affiliation":[{"name":"Massachusetts Institute of Technology, Cambridge, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.52202\/068431-0270"},{"key":"e_1_3_2_3_2","unstructured":"Nitay Alon Lion Schulz Joseph \u039c Barnby Jeffrey S Rosenschein and Peter Dayan. 2024. Detecting and Deterring Manipulation in a Cognitive Hierarchy. arXiv preprint arXiv:2405.01870 (2024)."},{"key":"e_1_3_2_4_2","doi-asserted-by":"publisher","DOI":"10.5334\/cpsy.117"},{"key":"e_1_3_2_5_2","unstructured":"Dylan Asmar. 2024. . https:\/\/github.com\/JuliaPOMDP\/BeliefGridValueIteration.jl"},{"key":"e_1_3_2_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(65)90154-X"},{"key":"e_1_3_2_7_2","doi-asserted-by":"crossref","unstructured":"Robert J Aumann. 1987. Correlated equilibrium as an expression of Bayesian rationality. Econometrica: Journal of the Econometric Society (1987) 1\u201318.","DOI":"10.2307\/1911154"},{"key":"e_1_3_2_8_2","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050111"},{"key":"e_1_3_2_9_2","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050112"},{"key":"e_1_3_2_10_2","volume-title":"Agreeing to disagree","author":"Aumann Robert J","year":"2016","unstructured":"Robert J Aumann. 2016. Agreeing to disagree. Springer."},{"key":"e_1_3_2_11_2","article-title":"Bayesian theory of mind: Modeling joint belief-desire attribution","volume":"33","author":"Baker Chris","year":"2011","unstructured":"Chris Baker, Rebecca Saxe, and Joshua Tenenbaum. 2011. Bayesian theory of mind: Modeling joint belief-desire attribution. In Proceedings of the annual meeting of the cognitive science society, Vol. 33.","journal-title":"Proceedings of the annual meeting of the cognitive science society"},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2009.07.005"},{"key":"e_1_3_2_13_2","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"e_1_3_2_14_2","unstructured":"JM Barnby G Bellucci \u039d Alon L Schilbach CD Frith and V Bell. 2024. Beyond Theory of Mind: A formal interoperable framework for social inference and representation. (2024)."},{"key":"e_1_3_2_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00011-O"},{"key":"e_1_3_2_16_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1306572110"},{"key":"e_1_3_2_17_2","doi-asserted-by":"crossref","unstructured":"Francesco Belardinelli Ioana Boureanu Vadim Malvone and Fortunat Rajaona. 2024. An SMT-based Approach to the Verification of Knowledge-Based Programs. Formal Aspects of Computing (2024).","DOI":"10.1145\/3700150"},{"key":"e_1_3_2_18_2","doi-asserted-by":"crossref","unstructured":"Richard Bellman. 1957. A Markovian decision process. Journal of mathematics and mechanics (1957) 679\u2013684.","DOI":"10.1512\/iumj.1957.6.56038"},{"key":"e_1_3_2_19_2","unstructured":"Marlene Berke Zhangir Azerbayev Mario Belledonne Zenna Tavares and Julian Jara-Ettinger. 2024. MetaCOG: A Heirarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations. In The 40th Conference on Uncertainty in Artificial Intelligence."},{"key":"e_1_3_2_20_2","doi-asserted-by":"crossref","unstructured":"Marlene Berke Ben Sterling Kartik Chandra and Julian Jara-Ettinger. 2025. People use theory of mind to craft lies exploiting audience desires. (2025).","DOI":"10.31234\/osf.io\/a65f3_v1"},{"key":"e_1_3_2_21_2","article-title":"No signatures of first-person simulation in Theory of Mind judgments about thinking","volume":"46","author":"Berke Marlene","year":"2024","unstructured":"Marlene Berke, Ben Sterling, Abi Tenenbaum, and Julian Jara-Ettinger. 2024. No signatures of first-person simulation in Theory of Mind judgments about thinking. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_22_2","doi-asserted-by":"crossref","unstructured":"Marlene Berke Abigail Tenenbaum Benjamin Sterling and Julian Jara-Ettinger. 2023. Thinking about thinking as rational computation. In Proceedings of the Annual Conference of the Cognitive Science Society. escholarship.org.","DOI":"10.31234\/osf.io\/e65p3"},{"issue":"28","key":"e_1_3_2_23_2","first-page":"1","article-title":"Pyro: Deep universal probabilistic programming","volume":"20","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham, Jonathan \u03a1 Chen, Martin Jankowiak, Fritz Obermeyer, Neeraj Pradhan, Theofanis Karaletsos, Rohit Singh, Paul Szerlip, Paul Horsfall, and Noah D Goodman. 2019. Pyro: Deep universal probabilistic programming. Journal of machine learning research 20, 28 (2019), 1\u20136.","journal-title":"Journal of machine learning research"},{"key":"e_1_3_2_24_2","unstructured":"Blai Bonet and Hector Geffner. 2000. Planning with incomplete information as heuristic search in belief space. In Proceedings of the Fifth International Conference on Artificial Intelligence Planning Systems. 52\u201361."},{"key":"e_1_3_2_25_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2012.08.006"},{"key":"e_1_3_2_26_2","unstructured":"James Bradbury Roy Frostig Peter Hawkins Matthew James Johnson Chris Leary Dougal Maclaurin George Necula Adam Paszke Jake VanderPlas Skye Wanderman-Milne and Qiao Zhang. 2018. JAX: composable transformations of Python+NumPy programs. http:\/\/github.com\/jax-ml\/jax"},{"key":"e_1_3_2_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"e_1_3_2_28_2","doi-asserted-by":"publisher","DOI":"10.1162\/0033553041502225"},{"key":"e_1_3_2_29_2","doi-asserted-by":"crossref","unstructured":"Matthew Caren Kartik Chandra Josh Tenenbaum Jonathan Ragan-Kelley and Karima Ma. 2024. Sketching With Your Voice: \u201cNon-Phonorealistic\u201d Rendering of Sounds via Vocal Imitation. In SIGGRAPH Asia. doi:10.1145\/3680528.3687679","DOI":"10.1145\/3680528.3687679"},{"key":"e_1_3_2_30_2","unstructured":"Kartik Chandra Nada Amin and Yizhou Zhang. 2025. Semantics of the memo probabilistic programming language. Submission to LAFI workshop (2025)."},{"key":"e_1_3_2_31_2","article-title":"Cooperative Explanation as Rational Communication","volume":"46","author":"Chandra Kartik","year":"2024","unstructured":"Kartik Chandra, Tony Chen, Tzu-Mao Li, Jonathan Ragan-Kelley, and Josh Tenenbaum. 2024. Cooperative Explanation as Rational Communication. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_32_2","unstructured":"Kartik Chandra Tony Chen Joshua B. Tenenbaum and Jonathan Ragan-Kelley. 2025. kach\/memo: v1.2.3 (Artifact). doi:10.5281\/zenodo.16754333"},{"key":"e_1_3_2_33_2","article-title":"Building computational models of social cognition in memo","volume":"47","author":"Chandra Kartik","year":"2025","unstructured":"Kartik Chandra, Sean Dae Houlihan, and Max Kleiman-Weiner. 2025. Building computational models of social cognition in memo. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 47.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_34_2","unstructured":"Kartik Chandra Tzu-Mao Li Rachit Nigam Joshua Tenenbaum and Jonathan Ragan-Kelley. 2024. Watchat: Explaining perplexing programs by debugging mental models. arXiv preprint arXiv:2403.05334 (2024)."},{"key":"e_1_3_2_35_2","doi-asserted-by":"crossref","unstructured":"Kartik Chandra Tzu-Mao Li Joshua Tenenbaum and Jonathan Ragan-Kelley. 2022. Designing perceptual puzzles by differentiating probabilistic programs. In ACM SIGGRAPH 2022 Conference Proceedings. 1\u20139.","DOI":"10.1145\/3528233.3530715"},{"key":"e_1_3_2_36_2","doi-asserted-by":"crossref","unstructured":"Kartik Chandra Tzu-Mao Li Joshua Tenenbaum and Jonathan Ragan-Kelley. 2023. Acting as inverse inverse planning. In Acm siggraph 2023 conference proceedings. 1\u201312.","DOI":"10.1145\/3588432.3591510"},{"key":"e_1_3_2_37_2","doi-asserted-by":"crossref","unstructured":"Kartik Chandra Jonathan Ragan-Kelley and Joshua Tenenbaum. 2025. Theories of Mind as Languages of Thought for Thought about Thought. (2025).","DOI":"10.31234\/osf.io\/qhc6y_v1"},{"key":"e_1_3_2_38_2","doi-asserted-by":"crossref","unstructured":"Kartik Chandra Josh Tenenbaum and Rebecca Saxe. 2025. A computational theory of dignity. Annual Meeting of the Society for Philosophy and Psychology (abstract) (2025).","DOI":"10.31234\/osf.io\/8bz7s_v2"},{"key":"e_1_3_2_39_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"e_1_3_2_40_2","article-title":"Intervening on Emotions by Planning Over a Theory of Mind","volume":"46","author":"Chen Tony","year":"2024","unstructured":"Tony Chen, Sean Dae Houlihan, Kartik Chandra, Josh Tenenbaum, and Rebecca Saxe. 2024. Intervening on Emotions by Planning Over a Theory of Mind. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_41_2","doi-asserted-by":"publisher","DOI":"10.1145\/3586050"},{"key":"e_1_3_2_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN.2017.7966217"},{"key":"e_1_3_2_43_2","doi-asserted-by":"crossref","unstructured":"Katherine M Collins Kartik Chandra Adrian Weller Jonathan Ragan-Kelley and Joshua \u0392 Tenenbaum. 2025. Empathy in Explanation. arXiv preprint arXiv:2507.21081 (2025).","DOI":"10.31234\/osf.io\/frp2w_v3"},{"key":"e_1_3_2_44_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41562-024-01991-9"},{"key":"e_1_3_2_45_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2303162120"},{"key":"e_1_3_2_46_2","doi-asserted-by":"crossref","unstructured":"Marco F Cusumano-Towner Feras A Saad Alexander \u039a Lew and Vikash \u039a Mansinghka. 2019. Gen: a general-purpose probabilistic programming system with programmable inference. In Proceedings of the 40th acm sigplan conference on programming language design and implementation. 221\u2013236.","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_3_2_47_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0885-2014(02)00073-4"},{"key":"e_1_3_2_48_2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-linguistics-031220-010811"},{"key":"e_1_3_2_49_2","volume-title":"The intentional stance","author":"Dennett Daniel C","year":"1989","unstructured":"Daniel C Dennett. 1989. The intentional stance. MIT press."},{"key":"e_1_3_2_50_2","doi-asserted-by":"publisher","DOI":"10.5555\/2447556.2447672"},{"issue":"26","key":"e_1_3_2_51_2","first-page":"1","article-title":"POMDPs.jl: A Framework for Sequential Decision Making under Uncertainty","volume":"18","author":"Egorov Maxim","year":"2017","unstructured":"Maxim Egorov, Zachary N. Sunberg, Edward Balaban, Tim A. Wheeler, Jayesh K. Gupta, and Mykel J. Kochenderfer. 2017. POMDPs.jl: A Framework for Sequential Decision Making under Uncertainty. Journal of Machine Learning Research 18, 26 (2017), 1\u20135. http:\/\/jmlr.org\/papers\/v18\/16-300.html","journal-title":"Journal of Machine Learning Research"},{"key":"e_1_3_2_52_2","unstructured":"Owain Evans Andreas Stuhlm\u00fcller John Salvatier and Daniel Filan. 2017. Modeling Agents with Probabilistic Programs. http:\/\/agentmodels.org. Accessed: 2024-3-8."},{"key":"e_1_3_2_53_2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"e_1_3_2_54_2","doi-asserted-by":"publisher","DOI":"10.1126\/science.abn5157"},{"key":"e_1_3_2_55_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-28619-4_7"},{"key":"e_1_3_2_56_2","unstructured":"JA Fodor. 1975. The language of thought."},{"key":"e_1_3_2_57_2","doi-asserted-by":"publisher","DOI":"10.1126\/science.1218633"},{"key":"e_1_3_2_58_2","doi-asserted-by":"crossref","unstructured":"Michael Franke and Judith Degen. 2023. The softmax function: Properties motivation and interpretation. (2023).","DOI":"10.31234\/osf.io\/vsw47"},{"key":"e_1_3_2_59_2","doi-asserted-by":"publisher","DOI":"10.1515\/zfs-2016-0002"},{"key":"e_1_3_2_60_2","unstructured":"Gottlob Frege. 1892. On sense and reference."},{"key":"e_1_3_2_61_2","doi-asserted-by":"publisher","DOI":"10.1145\/3656412"},{"key":"e_1_3_2_62_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49057-4_1"},{"key":"e_1_3_2_63_2","first-page":"677","article-title":"Reactive reasoning and planning","volume":"87","author":"Georgeff Michael \u03a1","year":"1987","unstructured":"Michael \u03a1 Georgeff and Amy L Lansky. 1987. Reactive reasoning and planning.. In AAAI, Vol. 87. 677\u2013682.","journal-title":"AAAI"},{"key":"e_1_3_2_64_2","doi-asserted-by":"publisher","DOI":"10.1016\/S1364-6613(03)00128-1"},{"key":"e_1_3_2_65_2","doi-asserted-by":"publisher","DOI":"10.1177\/0956797617713053"},{"key":"e_1_3_2_66_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-9800(66)80016-9"},{"key":"e_1_3_2_67_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2016.08.005"},{"key":"e_1_3_2_68_2","doi-asserted-by":"publisher","DOI":"10.1111\/tops.12007"},{"key":"e_1_3_2_69_2","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org. Accessed: 2024-10-29."},{"key":"e_1_3_2_70_2","unstructured":"Noah D Goodman Joshua B. Tenenbaum and The ProbMods Contributors. 2016. Probabilistic Models of Cognition. http:\/\/probmods.org\/v2. Accessed: 2024-10-22."},{"key":"e_1_3_2_71_2","article-title":"Logic and conversation","volume":"3","author":"Grice HP","year":"1975","unstructured":"HP Grice. 1975. Logic and conversation. Syntax and semantics 3 (1975).","journal-title":"Syntax and semantics"},{"key":"e_1_3_2_72_2","doi-asserted-by":"publisher","DOI":"10.21428\/e2759450.7b420317"},{"key":"e_1_3_2_73_2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2681(82)90011-7"},{"key":"e_1_3_2_74_2","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/10951.001.0001"},{"key":"e_1_3_2_75_2","unstructured":"Robert Hawkins. 2025. ProbLang v2:A Computational Approach to Pragmatic Reasoning. https:\/\/problang.stanford.edu\/"},{"key":"e_1_3_2_76_2","doi-asserted-by":"crossref","unstructured":"Kaiming He Xiangyu Zhang Shaoqing Ren and Jian Sun. 2016. Deep residual learning for image recognition. In Proceedings of the IEEE conference on computer vision and pattern recognition. 770\u2013778.","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_3_2_77_2","unstructured":"Jonathan Heek Anselm Levskaya Avital Oliver Marvin Ritter Bertrand Rondepierre Andreas Steiner and Marc van Zee. 2024. Flax: A neural network library and ecosystem for JAX. http:\/\/github.com\/google\/flax"},{"key":"e_1_3_2_78_2","doi-asserted-by":"publisher","DOI":"10.2307\/1416950"},{"key":"e_1_3_2_79_2","unstructured":"Christian Hensel Sebastian Junges Joost-Pieter Katoen Tim Quatmann and Matthias Volk. 2022. The probabilistic model checker Storm. International Journal on Software Tools for Technology Transfer (2022) 1\u201322."},{"key":"e_1_3_2_80_2","unstructured":"Kaarlo Jaakko Juhani Hintikka. 1962. Knowledge and belief: An introduction to the logic of the two notions. (1962)."},{"key":"e_1_3_2_81_2","doi-asserted-by":"publisher","DOI":"10.1037\/xge0001035"},{"key":"e_1_3_2_82_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2022.08.003"},{"key":"e_1_3_2_83_2","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_3_2_84_2","volume-title":"The handbook of pragmatics","author":"Horn Laurence R","year":"2004","unstructured":"Laurence R Horn and Gregory L Ward. 2004. The handbook of pragmatics. Wiley Online Library."},{"key":"e_1_3_2_85_2","unstructured":"Sean Dae Houlihan. 2025. Computational Models of Social Cognition. https:\/\/comosoco.daeh.info Winter 2025 course at Dartmouth College (COGS 50.09)."},{"key":"e_1_3_2_86_2","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2022.0047"},{"key":"e_1_3_2_87_2","article-title":"Modeling risky food sharing as rational communication about relationships","volume":"44","author":"Hung Michelle Simona","year":"2022","unstructured":"Michelle Simona Hung, Ashley J Thomas, Setayesh Radkani, Josh Tenenbaum, and Rebecca Saxe. 2022. Modeling risky food sharing as rational communication about relationships. In Proceedings of the annual meeting of the cognitive science society, Vol. 44.","journal-title":"Proceedings of the annual meeting of the cognitive science society"},{"key":"e_1_3_2_88_2","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.1996.10474713"},{"key":"e_1_3_2_89_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2016.05.011"},{"key":"e_1_3_2_90_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2015.03.006"},{"key":"e_1_3_2_91_2","article-title":"Bayesian belief polarization","volume":"22","author":"Jern Alan","year":"2009","unstructured":"Alan Jern, Kai-min Chang, and Charles Kemp. 2009. Bayesian belief polarization. Advances in neural information processing systems 22 (2009).","journal-title":"Advances in neural information processing systems"},{"key":"e_1_3_2_92_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(98)00023-X"},{"key":"e_1_3_2_93_2","doi-asserted-by":"publisher","DOI":"10.1257\/aer.101.6.2590"},{"key":"e_1_3_2_94_2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1407479111"},{"key":"e_1_3_2_95_2","doi-asserted-by":"publisher","DOI":"10.1007\/11553090_75"},{"key":"e_1_3_2_96_2","volume-title":"Algorithms for decision making","author":"Kochenderfer Mykel J","year":"2022","unstructured":"Mykel J Kochenderfer, Tim A Wheeler, and Kyle \u0397 Wray. 2022. Algorithms for decision making. MIT press."},{"key":"e_1_3_2_97_2","doi-asserted-by":"crossref","unstructured":"Joe Kwon Tan Zhi-Xuan Joshua Tenenbaum and Sydney Levine. 2023. When it is not out of line to get out of line: The role of universalization and outcome-based reasoning in rule-breaking judgments. (2023).","DOI":"10.31234\/osf.io\/n8bjr"},{"key":"e_1_3_2_98_2","article-title":"Solving strategic social coordination via Bayesian learning","volume":"47","author":"Lamba Amrita","year":"2025","unstructured":"Amrita Lamba, Sean Dae Houlihan, and Rebecca Saxe. 2025. Solving strategic social coordination via Bayesian learning. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 47.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_99_2","unstructured":"Sergey Levine. 2018. Reinforcement learning and control as probabilistic inference: Tutorial and review. arXiv preprint arXiv:1805.00909 (2018)."},{"key":"e_1_3_2_100_2","doi-asserted-by":"publisher","DOI":"10.1145\/3571198"},{"key":"e_1_3_2_101_2","volume-title":"Convention: A philosophical study","author":"Lewis David","year":"1969","unstructured":"David Lewis. 1969. Convention: A philosophical study. John Wiley & Sons."},{"key":"e_1_3_2_102_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X1900061X"},{"key":"e_1_3_2_103_2","volume-title":"Individual choice behavior","author":"Luce R Duncan","year":"1959","unstructured":"R Duncan Luce. 1959. Individual choice behavior. Vol. 4. Wiley New York."},{"key":"e_1_3_2_104_2","volume-title":"Bayesian models of perception and action: An introduction","author":"Ma Wei Ji","year":"2023","unstructured":"Wei Ji Ma, Konrad Paul Kording, and Daniel Goldreich. 2023. Bayesian models of perception and action: An introduction. MIT press."},{"key":"e_1_3_2_105_2","unstructured":"Yuka Machino Matthias Hofer Max Siegel Joshua \u0392 Tenenbaum and Robert D Hawkins. 2025. Minding the Politeness Gap in Cross-cultural Communication. arXiv preprint arXiv:2506.15623 (2025)."},{"key":"e_1_3_2_106_2","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-43156-8"},{"key":"e_1_3_2_107_2","article-title":"The role of counterfactual visibility in inference about absence","volume":"46","author":"Mazor Matan","year":"2024","unstructured":"Matan Mazor, Rani Moran, and Clare Press. 2024. The role of counterfactual visibility in inference about absence. In Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 46.","journal-title":"Proceedings of the Annual Meeting of the Cognitive Science Society"},{"key":"e_1_3_2_108_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1469-7610.2006.01621.x"},{"issue":"5","key":"e_1_3_2_109_2","first-page":"1313","article-title":"Unraveling in guessing games: An experimental study","volume":"85","author":"Nagel Rosemarie","year":"1995","unstructured":"Rosemarie Nagel. 1995. Unraveling in guessing games: An experimental study. The American economic review 85, 5 (1995), 1313\u20131326.","journal-title":"The American economic review"},{"key":"e_1_3_2_110_2","unstructured":"Andrew \u03a5 Ng Stuart Russell et al. 2000. Algorithms for inverse reinforcement learning.. In ICML Vol. 1. 2."},{"key":"e_1_3_2_111_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1466-2_7"},{"key":"e_1_3_2_112_2","first-page":"4871","volume-title":"International Conference on Machine Learning","author":"Obermeyer Fritz","year":"2019","unstructured":"Fritz Obermeyer, Eli Bingham, Martin Jankowiak, Neeraj Pradhan, Justin Chiu, Alexander Rush, and Noah Goodman. 2019. Tensor variable elimination for plated factor graphs. In International Conference on Machine Learning. PMLR, 4871\u20134880."},{"key":"e_1_3_2_113_2","doi-asserted-by":"crossref","unstructured":"Jingwen Pan and Amir Shaikhha. 2023. Compiling Discrete Probabilistic Programs for Vectorized Exact Inference. In Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction. 13\u201324.","DOI":"10.1145\/3578360.3580258"},{"key":"e_1_3_2_114_2","unstructured":"Jackson Petty Sjoerd van Steenkiste and Tal Linzen. 2024. How Does Code Pretraining Affect Language Model Task Performance? arXiv preprint arXiv:2409.04556 (2024)."},{"key":"e_1_3_2_115_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0140525X00076512"},{"key":"e_1_3_2_116_2","first-page":"13249","article-title":"Program synthesis with pragmatic communication","volume":"33","author":"Pu Yewen","year":"2020","unstructured":"Yewen Pu, Kevin Ellis, Marta Kryven, Josh Tenenbaum, and Armando Solar-Lezama. 2020. Program synthesis with pragmatic communication. Advances in neural information processing systems 33 (2020), 13249\u201313259.","journal-title":"Advances in neural information processing systems"},{"key":"e_1_3_2_117_2","doi-asserted-by":"publisher","DOI":"10.4324\/9781003135517-10"},{"key":"e_1_3_2_118_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9280.2009.02377.x"},{"key":"e_1_3_2_119_2","doi-asserted-by":"crossref","unstructured":"Ciyang Qing and Michael Franke. 2015. Variations on a Bayesian theme: Comparing Bayesian models of referential reasoning. Bayesian natural language semantics and pragmatics (2015) 201\u2013220.","DOI":"10.1007\/978-3-319-17064-0_9"},{"key":"e_1_3_2_120_2","unstructured":"WVO Quine. 1960. Word and object. (1960)."},{"key":"e_1_3_2_121_2","article-title":"What people learn from punishment: joint inference of wrongness and punisher\u2019s motivations from observation of punitive choices","volume":"45","author":"Radkani Setayesh","year":"2023","unstructured":"Setayesh Radkani and Rebecca Saxe. 2023. What people learn from punishment: joint inference of wrongness and punisher\u2019s motivations from observation of punitive choices. In Proceedings of the annual meeting of the cognitive science society, Vol. 45.","journal-title":"Proceedings of the annual meeting of the cognitive science society"},{"key":"e_1_3_2_122_2","article-title":"Modeling punishment as a rational communicative social action","volume":"44","author":"Radkani Setayesh","year":"2022","unstructured":"Setayesh Radkani, Josh Tenenbaum, and Rebecca Saxe. 2022. Modeling punishment as a rational communicative social action. In Proceedings of the annual meeting of the cognitive science society, Vol. 44.","journal-title":"Proceedings of the annual meeting of the cognitive science society"},{"key":"e_1_3_2_123_2","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12290"},{"key":"e_1_3_2_124_2","doi-asserted-by":"publisher","DOI":"10.1007\/s42113-018-0005-5"},{"key":"e_1_3_2_125_2","doi-asserted-by":"crossref","unstructured":"Feras A Saad Martin C Rinard and Vikash \u039a Mansinghka. 2021. SPPL: probabilistic programming with fast exact symbolic inference. In Proceedings of the 42nd acm sigplan international conference on programming language design and implementation. 804\u2013819.","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_3_2_126_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-53734-9_4"},{"key":"e_1_3_2_127_2","doi-asserted-by":"publisher","DOI":"10.1177\/002200275800200301"},{"key":"e_1_3_2_128_2","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-8624.2007.01004.x"},{"key":"e_1_3_2_129_2","first-page":"2021","article-title":"Probabilistic language understanding: An introduction to the Rational Speech Act framework","volume":"17","author":"Scontras Gregory","year":"2018","unstructured":"Gregory Scontras, Michael Henry Tessler, and Michael Franke. 2018. Probabilistic language understanding: An introduction to the Rational Speech Act framework. Retrieved January 17 (2018), 2021. https:\/\/www.problang.org","journal-title":"Retrieved January"},{"issue":"1","key":"e_1_3_2_130_2","article-title":"A problem in probability","volume":"29","author":"Selvin Steve","year":"1975","unstructured":"Steve Selvin. 1975. A problem in probability. The American Statistician 29, 1 (1975).","journal-title":"The American Statistician"},{"key":"e_1_3_2_131_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogpsych.2013.12.004"},{"key":"e_1_3_2_132_2","unstructured":"Jeffrey Mark Siskind and Barak A Pearlmutter. 2005. Perturbation confusion and referential transparency: Correct functional implementation of forward-mode AD. (2005)."},{"key":"e_1_3_2_133_2","doi-asserted-by":"publisher","DOI":"10.1002\/wics.1631"},{"key":"e_1_3_2_134_2","doi-asserted-by":"publisher","DOI":"10.1006\/game.1995.1031"},{"key":"e_1_3_2_135_2","unstructured":"Andreas Stuhlm\u00fcller and Noah D Goodman. 2012. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555 (2012)."},{"key":"e_1_3_2_136_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2013.07.003"},{"key":"e_1_3_2_137_2","unstructured":"Divya Sundar Kartik Chandra and Max Kleiman-Weiner. 2025. Preparing a learner for an independent future. CogSci in press (2025)."},{"key":"e_1_3_2_138_2","doi-asserted-by":"publisher","DOI":"10.1126\/science.abh1054"},{"key":"e_1_3_2_139_2","unstructured":"Tomer Ullman. 2023. Large language models fail on trivial alterations to theory-of-mind tasks. arXiv preprint arXiv:2302.08399 (2023)."},{"key":"e_1_3_2_140_2","article-title":"Help or hinder: Bayesian models of social goal inference","volume":"22","author":"Ullman Tomer","year":"2009","unstructured":"Tomer Ullman, Chris Baker, Owen Macindoe, Owain Evans, Noah Goodman, and Joshua Tenenbaum. 2009. Help or hinder: Bayesian models of social goal inference. Advances in neural information processing systems 22 (2009).","journal-title":"Advances in neural information processing systems"},{"key":"e_1_3_2_141_2","doi-asserted-by":"crossref","unstructured":"Tomer D Ullman and Ilona Bass. 2024. The Detection of Automatic Behavior in Other People. (2024).","DOI":"10.31234\/osf.io\/8r4yf"},{"key":"e_1_3_2_142_2","unstructured":"Priyan Vaithilingam Yewen Pu and Elena L Glassman. 2023. The Usability of Pragmatic Communication in Regular Expression Synthesis. arXiv preprint arXiv:2308.06656 (2023)."},{"key":"e_1_3_2_143_2","doi-asserted-by":"publisher","DOI":"10.1109\/MCSE.2011.37"},{"key":"e_1_3_2_144_2","doi-asserted-by":"crossref","unstructured":"Hans van Ditmarsch Michael Ian Hartley Barteld Kooi Jonathan Welton and Joseph BW Yeo. 2017. Cheryl\u2019s Birthday. arXiv preprint arXiv:1708.02654 (2017).","DOI":"10.4204\/EPTCS.251.1"},{"key":"e_1_3_2_145_2","doi-asserted-by":"crossref","unstructured":"Hans Van Ditmarsch Wiebe van Der Hoek and Barteld Kooi. 2007. Dynamic epistemic logic. Vol. 337. Springer Science & Business Media.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"e_1_3_2_146_2","doi-asserted-by":"publisher","DOI":"10.1111\/cogs.12101"},{"key":"e_1_3_2_147_2","unstructured":"Julia White Jesse Mu and Noah D Goodman. 2020. Learning to refer informatively by amortizing pragmatic reasoning. arXiv preprint arXiv:2006.00418 (2020)."},{"key":"e_1_3_2_148_2","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9899-3"},{"key":"e_1_3_2_149_2","unstructured":"Lionel Wong Gabriel Grand Alexander \u039a Lew Noah D Goodman Vikash \u039a Mansinghka Jacob Andreas and Joshua \u0392 Tenenbaum. 2023. From word models to world models: Translating from natural language to the probabilistic language of thought. arXiv preprint arXiv:2306.12672 (2023)."},{"key":"e_1_3_2_150_2","volume-title":"Reasoning about rational agents","author":"Wooldridge Michael","year":"2003","unstructured":"Michael Wooldridge. 2003. Reasoning about rational agents. MIT press."},{"key":"e_1_3_2_151_2","doi-asserted-by":"crossref","unstructured":"Tan Zhi Yi Julian Jara-Ettinger and Marlene Berke. 2024. Reasoning about knowledge in lie production. (2024). https:\/\/osf.io\/4mu8v\/downloadCogSci.","DOI":"10.31234\/osf.io\/4mu8v"},{"key":"e_1_3_2_152_2","doi-asserted-by":"publisher","DOI":"10.1162\/opmi_a_00035"},{"key":"e_1_3_2_153_2","article-title":"Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach","volume":"36","author":"Zaiser Fabian","year":"2024","unstructured":"Fabian Zaiser, Andrzej Murawski, and Chih-Hao Luke Ong. 2024. Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach. Advances in Neural Information Processing Systems 36 (2024).","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_154_2","doi-asserted-by":"publisher","DOI":"10.52202\/068431-1126"},{"key":"e_1_3_2_155_2","doi-asserted-by":"publisher","DOI":"10.1145\/3498677"},{"key":"e_1_3_2_156_2","doi-asserted-by":"crossref","unstructured":"Tan Zhi-Xuan Lance Ying Vikash Mansinghka and Joshua \u0392 Tenenbaum. 2024. Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planning. arXiv preprint arXiv:2402.17930 (2024).","DOI":"10.65109\/ZESK9425"},{"key":"e_1_3_2_157_2","doi-asserted-by":"publisher","DOI":"10.1037\/xge0001392"}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3763078","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T10:06:55Z","timestamp":1784196415000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3763078"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":156,"journal-issue":{"issue":"OOPSLA2","published-print":{"date-parts":[[2025,10,9]]}},"alternative-id":["10.1145\/3763078"],"URL":"https:\/\/doi.org\/10.1145\/3763078","relation":{"has-preprint":[{"id-type":"doi","id":"10.31234\/osf.io\/pt863_v1","asserted-by":"object"}]},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-03-25","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-08-12","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}