{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,25]],"date-time":"2026-08-25T21:29:04Z","timestamp":1787693344581,"version":"build-2784847793"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,10,9]]},"DOI":"10.1145\/3759429.3762631","type":"proceedings-article","created":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:37:09Z","timestamp":1760035029000},"page":"204-212","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Gauguin, Descartes, Bayes: A Diurnal Golem\u2019s Brain"],"prefix":"10.1145","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\/0000-0001-5549-9177","authenticated-orcid":false,"given":"Amanda","family":"Liu","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"}]},{"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"}]}],"member":"320","published-online":{"date-parts":[[2025,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Structure and interpretation of computer programs","author":"Abelson Harold","unstructured":"Harold Abelson and Gerald Jay Sussman. 1996. Structure and interpretation of computer programs (2nd ed.). The MIT Press.","edition":"2"},{"key":"e_1_3_2_1_2_1","volume-title":"Bayesian Occam\u2019s razor is a razor of the people. Cognitive science, 42, 4","author":"Blanchard Thomas","year":"2018","unstructured":"Thomas Blanchard, Tania Lombrozo, and Shaun Nichols. 2018. Bayesian Occam\u2019s razor is a razor of the people. Cognitive science, 42, 4 (2018), 1345\u20131359."},{"key":"e_1_3_2_1_3_1","volume-title":"The language of thought. 5","author":"Fodor Jerry A","unstructured":"Jerry A Fodor. 1975. The language of thought. 5, Harvard university press."},{"key":"e_1_3_2_1_4_1","unstructured":"Noah Goodman Vikash Mansinghka Daniel M Roy Keith Bonawitz and Joshua B Tenenbaum. 2012. Church: a language for generative models. arXiv preprint arXiv:1206.3255."},{"key":"e_1_3_2_1_5_1","unstructured":"Noah D Goodman and Andreas Stuhlm\u00fcller. 2014. The Design and Implementation of Probabilistic Programming Languages. http:\/\/dippl.org Accessed: 2025-4-22"},{"key":"e_1_3_2_1_6_1","volume-title":"The scientist as child. Philosophy of science, 63, 4","author":"Gopnik Alison","year":"1996","unstructured":"Alison Gopnik. 1996. The scientist as child. Philosophy of science, 63, 4 (1996), 485\u2013514."},{"key":"e_1_3_2_1_7_1","unstructured":"Douglas R Hofstadter. 1979. G\u00f6del Escher Bach: an eternal golden braid. Basic books."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_17"},{"key":"e_1_3_2_1_9_1","volume-title":"The structure of scientific revolutions","author":"Kuhn Thomas S","unstructured":"Thomas S Kuhn. 1962. The structure of scientific revolutions. University of Chicago press Chicago."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1086\/psaprocbienmeetp.1970.495757"},{"key":"e_1_3_2_1_11_1","volume-title":"Human-level concept learning through probabilistic program induction. Science, 350, 6266","author":"Lake Brenden M","year":"2015","unstructured":"Brenden M Lake, Ruslan Salakhutdinov, and Joshua B Tenenbaum. 2015. Human-level concept learning through probabilistic program induction. Science, 350, 6266 (2015), 1332\u20131338."},{"key":"e_1_3_2_1_12_1","first-page":"54354","article-title":"Human spatiotemporal pattern learning as probabilistic program synthesis","volume":"36","author":"Mills Tracey","year":"2023","unstructured":"Tracey Mills, Josh Tenenbaum, and Samuel Cheyette. 2023. Human spatiotemporal pattern learning as probabilistic program synthesis. Advances in Neural Information Processing Systems, 36 (2023), 54354\u201354365.","journal-title":"Advances in Neural Information Processing Systems"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cognition.2011.11.005"},{"key":"e_1_3_2_1_14_1","unstructured":"George Pugh. 1977. The biological origins of human values."},{"key":"e_1_3_2_1_15_1","volume-title":"The child as hacker. Trends in cognitive sciences, 24, 11","author":"Rule Joshua S","year":"2020","unstructured":"Joshua S Rule, Joshua B Tenenbaum, and Steven T Piantadosi. 2020. The child as hacker. Trends in cognitive sciences, 24, 11 (2020), 900\u2013915."},{"key":"e_1_3_2_1_16_1","unstructured":"Bertrand Russell. 1903. Principles of mathematics."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1038\/s41586-024-07566-y"},{"key":"e_1_3_2_1_18_1","volume-title":"Bayesian modeling of human concept learning. Advances in neural information processing systems, 11","author":"Tenenbaum Joshua","year":"1998","unstructured":"Joshua Tenenbaum. 1998. Bayesian modeling of human concept learning. Advances in neural information processing systems, 11 (1998)."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/358198.358210"},{"key":"e_1_3_2_1_20_1","first-page":"345","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"58","author":"Alan Turing","year":"1936","unstructured":"Alan Turing et al. 1936. On computable numbers, with an application to the Entscheidungsproblem. Journal of Math, 58, 345-363 (1936), 5.","journal-title":"Journal of Math"}],"event":{"name":"Onward! '25: 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software","location":"Singapore Singapore","acronym":"Onward! '25","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2025 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3759429.3762631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T18:37:40Z","timestamp":1760035060000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3759429.3762631"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,9]]},"references-count":20,"alternative-id":["10.1145\/3759429.3762631","10.1145\/3759429"],"URL":"https:\/\/doi.org\/10.1145\/3759429.3762631","relation":{},"subject":[],"published":{"date-parts":[[2025,10,9]]},"assertion":[{"value":"2025-10-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}