{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T10:33:07Z","timestamp":1779877987752,"version":"3.53.1"},"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>The human ability to think about thinking (\"theory of mind\") 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 memo, a new domain-specific 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.<\/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_2_2_1_1","first-page":"3731","article-title":"Communicating natural programs to humans and machines","volume":"35","author":"Acquaviva Sam","year":"2022","unstructured":"Sam Acquaviva, Yewen Pu, Marta Kryven, Theodoros Sechopoulos, Catherine Wong, Gabrielle Ecanow, Maxwell Nye, Michael Tessler, and Josh Tenenbaum. 2022. Communicating natural programs to humans and machines. Advances in Neural Information Processing Systems, 35 (2022), 3731\u20133743.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_2_2_1","unstructured":"Nitay Alon Lion Schulz Joseph M Barnby Jeffrey S Rosenschein and Peter Dayan. 2024. Detecting and Deterring Manipulation in a Cognitive Hierarchy. arXiv preprint arXiv:2405.01870."},{"key":"e_1_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.5334\/cpsy.117"},{"key":"e_1_2_2_4_1","unstructured":"Dylan Asmar. 2024. https:\/\/github.com\/JuliaPOMDP\/BeliefGridValueIteration.jl"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-247X(65)90154-X"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.2307\/1911154"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050111"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s001820050112"},{"key":"e_1_2_2_9_1","volume-title":"Agreeing to disagree","author":"Aumann Robert J","unstructured":"Robert J Aumann. 2016. Agreeing to disagree. Springer."},{"key":"e_1_2_2_10_1","volume-title":"Proceedings of the annual meeting of the cognitive science society. 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. 33."},{"key":"e_1_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2009.07.005"},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:SYNT.0000024912.56773.5e"},{"key":"e_1_2_2_13_1","unstructured":"JM Barnby G Bellucci N Alon L Schilbach CD Frith and V Bell. 2024. Beyond Theory of Mind: A formal interoperable framework for social inference and representation."},{"key":"e_1_2_2_14_1","volume-title":"Learning to act using real-time dynamic programming. Artificial intelligence, 72, 1-2","author":"Barto Andrew G","year":"1995","unstructured":"Andrew G Barto, Steven J Bradtke, and Satinder P Singh. 1995. Learning to act using real-time dynamic programming. Artificial intelligence, 72, 1-2 (1995), 81\u2013138."},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1306572110"},{"key":"e_1_2_2_16_1","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.","DOI":"10.1145\/3700150"},{"key":"e_1_2_2_17_1","first-page":"679","article-title":"A Markovian decision process","author":"Bellman Richard","year":"1957","unstructured":"Richard Bellman. 1957. A Markovian decision process. Journal of mathematics and mechanics, 679\u2013684.","journal-title":"Journal of mathematics and mechanics"},{"key":"e_1_2_2_18_1","volume-title":"MetaCOG: A Heirarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations. In The 40th Conference on Uncertainty in Artificial Intelligence.","author":"Berke Marlene","year":"2024","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_2_2_19_1","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.","DOI":"10.31234\/osf.io\/a65f3_v1"},{"key":"e_1_2_2_20_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society. 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. 46."},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.31234\/osf.io\/e65p3"},{"key":"e_1_2_2_22_1","first-page":"1","article-title":"Pyro: Deep universal probabilistic programming","volume":"20","author":"Bingham Eli","year":"2019","unstructured":"Eli Bingham, Jonathan P 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_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/3090475.3090482"},{"key":"e_1_2_2_24_1","volume-title":"Planning as inference. Trends in cognitive sciences, 16, 10","author":"Botvinick Matthew","year":"2012","unstructured":"Matthew Botvinick and Marc Toussaint. 2012. Planning as inference. Trends in cognitive sciences, 16, 10 (2012), 485\u2013488."},{"key":"e_1_2_2_25_1","volume-title":"Chris Leary, Dougal Maclaurin, George Necula, Adam Paszke, Jake VanderPlas, Skye Wanderman-Milne, and Qiao Zhang.","author":"Bradbury James","year":"2018","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_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/77648.77649"},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1162\/0033553041502225"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3680528.3687679"},{"key":"e_1_2_2_29_1","unstructured":"Kartik Chandra Nada Amin and Yizhou Zhang. 2025. Semantics of the memo probabilistic programming language. Submission to LAFI workshop."},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.31234\/osf.io\/bmknu"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","unstructured":"Kartik Chandra Tony Chen Joshua B. Tenenbaum and Jonathan Ragan-Kelley. 2025. kach\/memo: v1.2.3 (Artifact). https:\/\/doi.org\/10.5281\/zenodo.16754333 10.5281\/zenodo.16754333","DOI":"10.5281\/zenodo.16754333"},{"key":"e_1_2_2_32_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society. 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. 47."},{"key":"e_1_2_2_33_1","volume-title":"Watchat: Explaining perplexing programs by debugging mental models. arXiv preprint arXiv:2403.05334.","author":"Chandra Kartik","year":"2024","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."},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3528233.3530715"},{"key":"e_1_2_2_35_1","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_2_2_36_1","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.","DOI":"10.31234\/osf.io\/qhc6y_v1"},{"key":"e_1_2_2_37_1","volume-title":"Annual Meeting of the Society for Philosophy and Psychology (abstract).","author":"Chandra Kartik","year":"2025","unstructured":"Kartik Chandra, Josh Tenenbaum, and Rebecca Saxe. 2025. A computational theory of dignity. Annual Meeting of the Society for Philosophy and Psychology (abstract)."},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"e_1_2_2_39_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society. 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. 46."},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3586050"},{"key":"e_1_2_2_41_1","volume-title":"EMNIST: Extending MNIST to handwritten letters. In 2017 international joint conference on neural networks (IJCNN). 2921\u20132926.","author":"Cohen Gregory","year":"2017","unstructured":"Gregory Cohen, Saeed Afshar, Jonathan Tapson, and Andre Van Schaik. 2017. EMNIST: Extending MNIST to handwritten letters. In 2017 international joint conference on neural networks (IJCNN). 2921\u20132926."},{"key":"e_1_2_2_42_1","doi-asserted-by":"crossref","unstructured":"Katherine M Collins Kartik Chandra Adrian Weller Jonathan Ragan-Kelley and Joshua B Tenenbaum. 2025. Empathy in Explanation. arXiv preprint arXiv:2507.21081.","DOI":"10.31234\/osf.io\/frp2w_v3"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41562-024-01991-9"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.2303162120"},{"key":"e_1_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314642"},{"key":"e_1_2_2_46_1","volume-title":"Complements to cognition: A longitudinal study of the relationship between complex syntax and false-belief-understanding. Cognitive development, 17, 1","author":"De Villiers Jill G","year":"2002","unstructured":"Jill G De Villiers and Jennie E Pyers. 2002. Complements to cognition: A longitudinal study of the relationship between complex syntax and false-belief-understanding. Cognitive development, 17, 1 (2002), 1037\u20131060."},{"key":"e_1_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-linguistics-031220-010811"},{"key":"e_1_2_2_48_1","volume-title":"The intentional stance","author":"Dennett Daniel C","unstructured":"Daniel C Dennett. 1989. The intentional stance. MIT press."},{"key":"e_1_2_2_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/HRI.2013.6483603"},{"key":"e_1_2_2_50_1","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_2_2_51_1","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_2_2_52_1","volume-title":"Reasoning about knowledge","author":"Fagin Ronald","unstructured":"Ronald Fagin, Joseph Y Halpern, Yoram Moses, and Moshe Vardi. 2004. Reasoning about knowledge. MIT press."},{"key":"e_1_2_2_53_1","volume-title":"Kids attend to saliva sharing to infer social relationships. Science, 375, 6578","author":"Fawcett Christine","year":"2022","unstructured":"Christine Fawcett. 2022. Kids attend to saliva sharing to infer social relationships. Science, 375, 6578 (2022), 260\u2013261."},{"key":"e_1_2_2_54_1","volume-title":"Robotics research: the 18th international symposium Isrr. 49\u201357.","author":"Fisac Jaime F","unstructured":"Jaime F Fisac, Monica A Gates, Jessica B Hamrick, Chang Liu, Dylan Hadfield-Menell, Malayandi Palaniappan, Dhruv Malik, S Shankar Sastry, Thomas L Griffiths, and Anca D Dragan. 2020. Pragmatic-pedagogic value alignment. In Robotics research: the 18th international symposium Isrr. 49\u201357."},{"key":"e_1_2_2_55_1","unstructured":"JA Fodor. 1975. The language of thought."},{"key":"e_1_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1126\/science.1218633"},{"key":"e_1_2_2_57_1","doi-asserted-by":"crossref","unstructured":"Michael Franke and Judith Degen. 2023. The softmax function: Properties motivation and interpretation.","DOI":"10.31234\/osf.io\/vsw47"},{"key":"e_1_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1515\/zfs-2016-0002"},{"key":"e_1_2_2_59_1","unstructured":"Gottlob Frege. 1892. On sense and reference."},{"key":"e_1_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/3656412"},{"key":"e_1_2_2_61_1","volume-title":"Proceedings 5. 1\u201310","author":"Georgeff Michael","year":"1999","unstructured":"Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, and Michael Wooldridge. 1999. The belief-desire-intention model of agency. In Intelligent Agents V: Agents Theories, Architectures, and Languages: 5th International Workshop, ATAL\u201998 Paris, France, July 4\u20137, 1998 Proceedings 5. 1\u201310."},{"key":"e_1_2_2_62_1","first-page":"677","article-title":"Reactive reasoning and planning","volume":"87","author":"Georgeff Michael P","year":"1987","unstructured":"Michael P Georgeff and Amy L Lansky. 1987. Reactive reasoning and planning.. In AAAI. 87, 677\u2013682.","journal-title":"AAAI."},{"key":"e_1_2_2_63_1","volume-title":"Teleological reasoning in infancy: The na\u0131ve theory of rational action. Trends in cognitive sciences, 7, 7","author":"Gergely Gy\u00f6rgy","year":"2003","unstructured":"Gy\u00f6rgy Gergely and Gergely Csibra. 2003. Teleological reasoning in infancy: The na\u0131ve theory of rational action. Trends in cognitive sciences, 7, 7 (2003), 287\u2013292."},{"key":"e_1_2_2_64_1","volume-title":"Eye-tracking causality. Psychological science, 28, 12","author":"Gerstenberg Tobias","year":"2017","unstructured":"Tobias Gerstenberg, Matthew F Peterson, Noah D Goodman, David A Lagnado, and Joshua B Tenenbaum. 2017. Eye-tracking causality. Psychological science, 28, 12 (2017), 1731\u20131744."},{"key":"e_1_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0021-9800(66)80016-9"},{"key":"e_1_2_2_66_1","volume-title":"Pragmatic language interpretation as probabilistic inference. Trends in cognitive sciences, 20, 11","author":"Goodman Noah D","year":"2016","unstructured":"Noah D Goodman and Michael C Frank. 2016. Pragmatic language interpretation as probabilistic inference. Trends in cognitive sciences, 20, 11 (2016), 818\u2013829."},{"key":"e_1_2_2_67_1","volume-title":"Knowledge and implicature: Modeling language understanding as social cognition. Topics in cognitive science, 5, 1","author":"Goodman Noah D","year":"2013","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller. 2013. Knowledge and implicature: Modeling language understanding as social cognition. Topics in cognitive science, 5, 1 (2013), 173\u2013184."},{"key":"e_1_2_2_68_1","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_2_2_69_1","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_2_2_70_1","volume-title":"Logic and conversation. Syntax and semantics, 3","author":"Grice HP","year":"1975","unstructured":"HP Grice. 1975. Logic and conversation. Syntax and semantics, 3 (1975)."},{"key":"e_1_2_2_71_1","volume-title":"Bayesian models of cognition: reverse engineering the mind","author":"Griffiths Thomas L","unstructured":"Thomas L Griffiths, Nick Chater, and Joshua B Tenenbaum. 2024. Bayesian models of cognition: reverse engineering the mind. MIT Press."},{"key":"e_1_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2681(82)90011-7"},{"key":"e_1_2_2_73_1","volume-title":"Reasoning about uncertainty","author":"Halpern Joseph Y","unstructured":"Joseph Y Halpern. 2017. Reasoning about uncertainty. MIT press."},{"key":"e_1_2_2_74_1","unstructured":"Robert Hawkins. 2025. ProbLang v2: A Computational Approach to Pragmatic Reasoning. https:\/\/problang.stanford.edu\/"},{"key":"e_1_2_2_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.90"},{"key":"e_1_2_2_76_1","volume-title":"Flax: A neural network library and ecosystem for JAX","author":"Heek Jonathan","year":"2024","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_2_2_77_1","volume-title":"An experimental study of apparent behavior. The American journal of psychology, 57, 2","author":"Heider Fritz","year":"1944","unstructured":"Fritz Heider and Marianne Simmel. 1944. An experimental study of apparent behavior. The American journal of psychology, 57, 2 (1944), 243\u2013259."},{"key":"e_1_2_2_78_1","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 1\u201322."},{"key":"e_1_2_2_79_1","unstructured":"Kaarlo Jaakko Juhani Hintikka. 1962. Knowledge and belief: An introduction to the logic of the two notions."},{"key":"e_1_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.1037\/xge0001035"},{"key":"e_1_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tics.2022.08.003"},{"key":"e_1_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/3428208"},{"key":"e_1_2_2_83_1","volume-title":"The handbook of pragmatics","author":"Horn Laurence R","unstructured":"Laurence R Horn and Gregory L Ward. 2004. The handbook of pragmatics. Wiley Online Library."},{"key":"e_1_2_2_84_1","volume-title":"Computational Models of Social Cognition. https:\/\/comosoco.daeh.info","author":"Houlihan Sean Dae","year":"2025","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_2_2_85_1","article-title":"Emotion prediction as computation over a generative theory of mind","volume":"381","author":"Houlihan Sean Dae","year":"2023","unstructured":"Sean Dae Houlihan, Max Kleiman-Weiner, Luke B Hewitt, Joshua B Tenenbaum, and Rebecca Saxe. 2023. Emotion prediction as computation over a generative theory of mind. Philosophical Transactions of the Royal Society A, 381, 2251 (2023), 20220047.","journal-title":"Philosophical Transactions of the Royal Society A"},{"key":"e_1_2_2_86_1","volume-title":"Proceedings of the annual meeting of the cognitive science society. 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. 44."},{"key":"e_1_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1080\/10618600.1996.10474713"},{"key":"e_1_2_2_88_1","volume-title":"The na\u00efve utility calculus: Computational principles underlying commonsense psychology. Trends in cognitive sciences, 20, 8","author":"Jara-Ettinger Julian","year":"2016","unstructured":"Julian Jara-Ettinger, Hyowon Gweon, Laura E Schulz, and Joshua B Tenenbaum. 2016. The na\u00efve utility calculus: Computational principles underlying commonsense psychology. Trends in cognitive sciences, 20, 8 (2016), 589\u2013604."},{"key":"e_1_2_2_89_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2015.03.006"},{"key":"e_1_2_2_90_1","volume-title":"Bayesian belief polarization. Advances in neural information processing systems, 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)."},{"key":"e_1_2_2_91_1","volume-title":"Planning and acting in partially observable stochastic domains. Artificial intelligence, 101, 1-2","author":"Kaelbling Leslie Pack","year":"1998","unstructured":"Leslie Pack Kaelbling, Michael L Littman, and Anthony R Cassandra. 1998. Planning and acting in partially observable stochastic domains. Artificial intelligence, 101, 1-2 (1998), 99\u2013134."},{"key":"e_1_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1257\/aer.101.6.2590"},{"key":"e_1_2_2_93_1","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1407479111"},{"key":"e_1_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1007\/11553090_75"},{"key":"e_1_2_2_95_1","volume-title":"Algorithms for decision making","author":"Kochenderfer Mykel J","unstructured":"Mykel J Kochenderfer, Tim A Wheeler, and Kyle H Wray. 2022. Algorithms for decision making. MIT press."},{"key":"e_1_2_2_96_1","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.","DOI":"10.31234\/osf.io\/n8bjr"},{"key":"e_1_2_2_97_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society. 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. 47."},{"key":"e_1_2_2_98_1","unstructured":"Sergey Levine. 2018. Reinforcement learning and control as probabilistic inference: Tutorial and review. arXiv preprint arXiv:1805.00909."},{"key":"e_1_2_2_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3571198"},{"key":"e_1_2_2_100_1","volume-title":"Convention: A philosophical study. John Wiley & Sons.","author":"Lewis David","year":"1969","unstructured":"David Lewis. 1969. Convention: A philosophical study. John Wiley & Sons."},{"key":"e_1_2_2_101_1","volume-title":"Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources. Behavioral and brain sciences, 43","author":"Lieder Falk","year":"2020","unstructured":"Falk Lieder and Thomas L Griffiths. 2020. Resource-rational analysis: Understanding human cognition as the optimal use of limited computational resources. Behavioral and brain sciences, 43 (2020), e1."},{"key":"e_1_2_2_102_1","volume-title":"Individual choice behavior. 4","author":"Luce R Duncan","unstructured":"R Duncan Luce. 1959. Individual choice behavior. 4, Wiley New York."},{"key":"e_1_2_2_103_1","volume-title":"Konrad Paul Kording, and Daniel Goldreich","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_2_2_104_1","unstructured":"Yuka Machino Matthias Hofer Max Siegel Joshua B Tenenbaum and Robert D Hawkins. 2025. Minding the Politeness Gap in Cross-cultural Communication. arXiv preprint arXiv:2506.15623."},{"key":"e_1_2_2_105_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-43156-8"},{"key":"e_1_2_2_106_1","volume-title":"Proceedings of the Annual Meeting of the Cognitive Science Society. 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. 46."},{"key":"e_1_2_2_107_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1469-7610.2006.01621.x"},{"key":"e_1_2_2_108_1","volume-title":"Unraveling in guessing games: An experimental study. The American economic review, 85, 5","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."},{"key":"e_1_2_2_109_1","first-page":"2","article-title":"Algorithms for inverse reinforcement learning","volume":"1","author":"Ng Andrew Y","year":"2000","unstructured":"Andrew Y Ng, Stuart Russell, et al. 2000. Algorithms for inverse reinforcement learning.. In ICML. 1, 2.","journal-title":"ICML."},{"key":"e_1_2_2_110_1","volume-title":"Essays in honor of carl g. hempel: A tribute on the occasion of his sixty-fifth birthday","author":"Nozick Robert","unstructured":"Robert Nozick. 1969. Newcomb\u2019s problem and two principles of choice. In Essays in honor of carl g. hempel: A tribute on the occasion of his sixty-fifth birthday. Springer, 114\u2013146."},{"key":"e_1_2_2_111_1","volume-title":"International Conference on Machine Learning. 4871\u20134880","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. 4871\u20134880."},{"key":"e_1_2_2_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/3578360.3580258"},{"key":"e_1_2_2_113_1","unstructured":"Jackson Petty Sjoerd van Steenkiste and Tal Linzen. 2024. How Does Code Pretraining Affect Language Model Task Performance? arXiv preprint arXiv:2409.04556."},{"key":"e_1_2_2_114_1","volume-title":"Does the chimpanzee have a theory of mind? Behavioral and brain sciences, 1, 4","author":"Premack David","year":"1978","unstructured":"David Premack and Guy Woodruff. 1978. Does the chimpanzee have a theory of mind? Behavioral and brain sciences, 1, 4 (1978), 515\u2013526."},{"key":"e_1_2_2_115_1","volume-title":"Program synthesis with pragmatic communication. Advances in neural information processing systems, 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."},{"key":"e_1_2_2_116_1","volume-title":"Roots of human sociality","author":"Pyers Jennie E","unstructured":"Jennie E Pyers. 2020. Constructing the social mind: Language and false-belief understanding. In Roots of human sociality. Routledge, 207\u2013228."},{"key":"e_1_2_2_117_1","doi-asserted-by":"publisher","DOI":"10.1111\/j.1467-9280.2009.02377.x"},{"key":"e_1_2_2_118_1","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 201\u2013220.","DOI":"10.1007\/978-3-319-17064-0_9"},{"key":"e_1_2_2_119_1","unstructured":"WVO Quine. 1960. Word and object."},{"key":"e_1_2_2_120_1","doi-asserted-by":"publisher","DOI":"10.31234\/osf.io\/9sbmn"},{"key":"e_1_2_2_121_1","volume-title":"Proceedings of the annual meeting of the cognitive science society. 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. 44."},{"key":"e_1_2_2_122_1","volume-title":"Faster teaching via pomdp planning. Cognitive science, 40, 6","author":"Rafferty Anna N","year":"2016","unstructured":"Anna N Rafferty, Emma Brunskill, Thomas L Griffiths, and Patrick Shafto. 2016. Faster teaching via pomdp planning. Cognitive science, 40, 6 (2016), 1290\u20131332."},{"key":"e_1_2_2_123_1","doi-asserted-by":"publisher","DOI":"10.1007\/s42113-018-0005-5"},{"key":"e_1_2_2_124_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454078"},{"key":"e_1_2_2_125_1","volume-title":"Empowerment\u2013an introduction","author":"Salge Christoph","unstructured":"Christoph Salge, Cornelius Glackin, and Daniel Polani. 2014. Empowerment\u2013an introduction. In Guided Self-Organization: Inception. Springer, 67\u2013114."},{"key":"e_1_2_2_126_1","doi-asserted-by":"publisher","DOI":"10.1177\/002200275800200301"},{"key":"e_1_2_2_127_1","volume-title":"Jill De Villiers, and Robert Hoffmeister.","author":"Schick Brenda","year":"2007","unstructured":"Brenda Schick, Peter De Villiers, Jill De Villiers, and Robert Hoffmeister. 2007. Language and theory of mind: A study of deaf children. Child development, 78, 2 (2007), 376\u2013396."},{"key":"e_1_2_2_128_1","volume-title":"Michael Henry Tessler, and Michael Franke","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"},{"key":"e_1_2_2_129_1","volume-title":"A problem in probability. The American Statistician, 29, 1","author":"Selvin Steve","year":"1975","unstructured":"Steve Selvin. 1975. A problem in probability. The American Statistician, 29, 1 (1975)."},{"key":"e_1_2_2_130_1","volume-title":"A rational account of pedagogical reasoning: Teaching by, and learning from, examples. Cognitive psychology, 71","author":"Shafto Patrick","year":"2014","unstructured":"Patrick Shafto, Noah D Goodman, and Thomas L Griffiths. 2014. A rational account of pedagogical reasoning: Teaching by, and learning from, examples. Cognitive psychology, 71 (2014), 55\u201389."},{"key":"e_1_2_2_131_1","unstructured":"Jeffrey Mark Siskind and Barak A Pearlmutter. 2005. Perturbation confusion and referential transparency: Correct functional implementation of forward-mode AD."},{"key":"e_1_2_2_132_1","doi-asserted-by":"publisher","DOI":"10.1002\/wics.1631"},{"key":"e_1_2_2_133_1","doi-asserted-by":"publisher","DOI":"10.1006\/game.1995.1031"},{"key":"e_1_2_2_134_1","unstructured":"Andreas Stuhlm\u00fcller and Noah D Goodman. 2012. A dynamic programming algorithm for inference in recursive probabilistic programs. arXiv preprint arXiv:1206.3555."},{"key":"e_1_2_2_135_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cogsys.2013.07.003"},{"key":"e_1_2_2_136_1","unstructured":"Divya Sundar Kartik Chandra and Max Kleiman-Weiner. 2025. Preparing a learner for an independent future. CogSci in press."},{"key":"e_1_2_2_137_1","volume-title":"Early concepts of intimacy: Young humans use saliva sharing to infer close relationships. Science, 375, 6578","author":"Thomas Ashley J","year":"2022","unstructured":"Ashley J Thomas, Brandon Woo, Daniel Nettle, Elizabeth Spelke, and Rebecca Saxe. 2022. Early concepts of intimacy: Young humans use saliva sharing to infer close relationships. Science, 375, 6578 (2022), 311\u2013315."},{"key":"e_1_2_2_138_1","unstructured":"Tomer Ullman. 2023. Large language models fail on trivial alterations to theory-of-mind tasks. arXiv preprint arXiv:2302.08399."},{"key":"e_1_2_2_139_1","volume-title":"Help or hinder: Bayesian models of social goal inference. Advances in neural information processing systems, 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)."},{"key":"e_1_2_2_140_1","doi-asserted-by":"crossref","unstructured":"Tomer D Ullman and Ilona Bass. 2024. The Detection of Automatic Behavior in Other People.","DOI":"10.31234\/osf.io\/8r4yf"},{"key":"e_1_2_2_141_1","unstructured":"Priyan Vaithilingam Yewen Pu and Elena L Glassman. 2023. The Usability of Pragmatic Communication in Regular Expression Synthesis. arXiv preprint arXiv:2308.06656."},{"key":"e_1_2_2_142_1","volume-title":"The NumPy array: a structure for efficient numerical computation. Computing in science & engineering, 13, 2","author":"Der Walt Stefan Van","year":"2011","unstructured":"Stefan Van Der Walt, S Chris Colbert, and Gael Varoquaux. 2011. The NumPy array: a structure for efficient numerical computation. Computing in science & engineering, 13, 2 (2011), 22\u201330."},{"key":"e_1_2_2_143_1","volume-title":"Barteld Kooi, Jonathan Welton, and Joseph BW Yeo.","author":"van Ditmarsch Hans","year":"2017","unstructured":"Hans van Ditmarsch, Michael Ian Hartley, Barteld Kooi, Jonathan Welton, and Joseph BW Yeo. 2017. Cheryl\u2019s Birthday. arXiv preprint arXiv:1708.02654."},{"key":"e_1_2_2_144_1","volume-title":"Wiebe van Der Hoek, and Barteld Kooi","author":"Ditmarsch Hans Van","year":"2007","unstructured":"Hans Van Ditmarsch, Wiebe van Der Hoek, and Barteld Kooi. 2007. Dynamic epistemic logic. 337, Springer Science & Business Media."},{"key":"e_1_2_2_145_1","volume-title":"One and done? Optimal decisions from very few samples. Cognitive science, 38, 4","author":"Vul Edward","year":"2014","unstructured":"Edward Vul, Noah Goodman, Thomas L Griffiths, and Joshua B Tenenbaum. 2014. One and done? Optimal decisions from very few samples. Cognitive science, 38, 4 (2014), 599\u2013637."},{"key":"e_1_2_2_146_1","unstructured":"Julia White Jesse Mu and Noah D Goodman. 2020. Learning to refer informatively by amortizing pragmatic reasoning. arXiv preprint arXiv:2006.00418."},{"key":"e_1_2_2_147_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9899-3"},{"key":"e_1_2_2_148_1","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. arXiv preprint arXiv:2306.12672."},{"key":"e_1_2_2_149_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/5804.001.0001"},{"key":"e_1_2_2_150_1","doi-asserted-by":"crossref","unstructured":"Tan Zhi Yi Julian Jara-Ettinger and Marlene Berke. 2024. Reasoning about knowledge in lie production. https:\/\/osf.io\/4mu8v\/download CogSci","DOI":"10.31234\/osf.io\/4mu8v"},{"key":"e_1_2_2_151_1","doi-asserted-by":"publisher","DOI":"10.1162\/opmi_a_00035"},{"key":"e_1_2_2_152_1","volume-title":"Exact Bayesian inference on discrete models via probability generating functions: a probabilistic programming approach. Advances in Neural Information Processing Systems, 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)."},{"key":"e_1_2_2_153_1","first-page":"15476","article-title":"Star: Bootstrapping reasoning with reasoning","volume":"35","author":"Zelikman Eric","year":"2022","unstructured":"Eric Zelikman, Yuhuai Wu, Jesse Mu, and Noah Goodman. 2022. Star: Bootstrapping reasoning with reasoning. Advances in Neural Information Processing Systems, 35 (2022), 15476\u201315488.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_2_2_154_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498677"},{"key":"e_1_2_2_155_1","unstructured":"Tan Zhi-Xuan Lance Ying Vikash Mansinghka and Joshua B Tenenbaum. 2024. Pragmatic Instruction Following and Goal Assistance via Cooperative Language-Guided Inverse Planning. arXiv preprint arXiv:2402.17930."},{"key":"e_1_2_2_156_1","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":[[2025,10,9]],"date-time":"2025-10-09T17:47:33Z","timestamp":1760032053000},"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"}}]}}