{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,24]],"date-time":"2026-08-24T22:42:26Z","timestamp":1787611346553,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,14]]},"DOI":"10.1145\/3712256.3726388","type":"proceedings-article","created":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T12:26:58Z","timestamp":1751977618000},"page":"999-1007","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Evolutionary Synthesis of Probabilistic Programs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0008-0210-6673","authenticated-orcid":false,"given":"Romina","family":"Doz","sequence":"first","affiliation":[{"name":"Department of Mathematics, Informatics and Geosciences, University of Trieste, Trieste, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-3489-9600","authenticated-orcid":false,"given":"Francesca","family":"Randone","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Informatics and Geosciences, University of Trieste, Trieste, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5652-2113","authenticated-orcid":false,"given":"Eric","family":"Medvet","sequence":"additional","affiliation":[{"name":"Department of Engineering and Architecture, University of Trieste, Trieste, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8874-4001","authenticated-orcid":false,"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[{"name":"Department of Mathematics, Informatics and Geosciences, University of Trieste, Trieste, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72016-2_11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81685-8_40"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCYB.2018.2876563"},{"key":"e_1_3_2_1_4_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_3_2_1_5_1","volume-title":"Stan: A probabilistic programming language. Journal of statistical software 76","author":"Carpenter Bob","year":"2017","unstructured":"Bob Carpenter, Andrew Gelman, Matthew D Hoffman, Daniel Lee, Ben Goodrich, Michael Betancourt, Marcus A Brubaker, Jiqiang Guo, Peter Li, and Allen Riddell. 2017. Stan: A probabilistic programming language. Journal of statistical software 76 (2017)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-30942-8_8"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3076107"},{"key":"e_1_3_2_1_9_1","volume-title":"Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015","author":"Ellis Kevin","year":"2015","unstructured":"Kevin Ellis, Armando Solar-Lezama, and Joshua B. Tenenbaum. 2015. Unsupervised Learning by Program Synthesis. In Advances in Neural Information Processing Systems 28: Annual Conference on Neural Information Processing Systems 2015, December 7\u201312, 2015, Montreal, Quebec, Canada, Corinna Cortes, Neil D. Lawrence, Daniel D. Lee, Masashi Sugiyama, and Roman Garnett (Eds.). 973\u2013981. https:\/\/proceedings.neurips.cc\/paper\/2015\/hash\/b73dfe25b4b8714c029b37a6ad3006fa-Abstract.html"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082469"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-30668-1_13"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41528-4_4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386006"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36599-0_7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-015-9262-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2020.2983664"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55792-2_12"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72812-0_13"},{"key":"e_1_3_2_1_20_1","volume-title":"Grammar-Based Evolution of Polyominoes. In European Conference on Genetic Programming (Part of EvoStar). Springer, 56\u201372","author":"M\u00e9gane Jessica","year":"2024","unstructured":"Jessica M\u00e9gane, Eric Medvet, Nuno Louren\u00e7o, and Penousal Machado. 2024. Grammar-Based Evolution of Polyominoes. In European Conference on Genetic Programming (Part of EvoStar). Springer, 56\u201372."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s41965-023-00125-w"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-29604-3_5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737982"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/4235.942529"},{"key":"e_1_3_2_1_25_1","volume-title":"BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data. Evolutionary Computation","author":"Pigozzi Federico","year":"2024","unstructured":"Federico Pigozzi, Laura Nenzi, and Eric Medvet. 2024. BUSTLE: a Versatile Tool for the Evolutionary Learning of STL Specifications from Data. Evolutionary Computation (2024), 1\u201324."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3632905"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290350"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10672-9_3"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1049\/cp:19951092"},{"key":"e_1_3_2_1_30_1","volume-title":"Stefano Cagnoni, Martin Fyvie, Giovanni Iacca, John McCall, Niki van Stein, David J Walker, and Ting Hu.","author":"Zhou Ryan","year":"2024","unstructured":"Ryan Zhou, Jaume Bacardit, Alexander EI Brownlee, Stefano Cagnoni, Martin Fyvie, Giovanni Iacca, John McCall, Niki van Stein, David J Walker, and Ting Hu. 2024. Evolutionary Computation and Explainable AI: A Roadmap to Understandable Intelligent Systems. IEEE Transactions on Evolutionary Computation (2024)."}],"event":{"name":"GECCO '25: Genetic and Evolutionary Computation Conference","location":"NH Malaga Hotel Malaga Spain","acronym":"GECCO '25","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712256.3726388","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T20:40:49Z","timestamp":1759869649000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712256.3726388"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,13]]},"references-count":30,"alternative-id":["10.1145\/3712256.3726388","10.1145\/3712256"],"URL":"https:\/\/doi.org\/10.1145\/3712256.3726388","relation":{},"subject":[],"published":{"date-parts":[[2025,7,13]]},"assertion":[{"value":"2025-07-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}