{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T07:29:19Z","timestamp":1777534159719,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Foundation for Research, Technology and Development within the Josef Ressel Center for Symbolic Regression"},{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","award":["2021\/12706-1"],"award-info":[{"award-number":["2021\/12706-1"]}]},{"name":"Christian Doppler Research Association"},{"name":"Austrian Federal Ministry for Digital and Economic Affairs"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,15]]},"DOI":"10.1145\/3583131.3590346","type":"proceedings-article","created":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T06:47:37Z","timestamp":1708238857000},"page":"1064-1072","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":17,"title":["Reducing Overparameterization of Symbolic Regression Models with Equality Saturation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2741-8736","authenticated-orcid":false,"given":"Fabricio Olivetti","family":"de Franca","sequence":"first","affiliation":[{"name":"Universidade Federal do ABC, Santo Andre, SP, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3012-3189","authenticated-orcid":false,"given":"Gabriel","family":"Kronberger","sequence":"additional","affiliation":[{"name":"University of Applied Sciences Upper Austria, Hagenberg, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2576768.2598291"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3528899"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3398099"},{"key":"e_1_3_2_1_4_1","volume-title":"Computer Algebra and Symbolic Computation: Mathematical Methods","author":"Cohen J.S.","unstructured":"J.S. Cohen. 2018. Computer Algebra and Symbolic Computation: Mathematical Methods. CRC Press. https:\/\/books.google.at\/books?id=0WO2zQEACAAJ"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"Miles Cranmer. 2020. PySR: Fast & Parallelized Symbolic Regression in Python\/Julia. 10.5281\/zenodo.4041459","DOI":"10.5281\/zenodo.4041459"},{"key":"e_1_3_2_1_6_1","volume-title":"Interaction-Transformation Evolutionary Algorithm for Symbolic Regression. Evolutionary computation 29, 3","author":"de Fran\u00e7a Fabr\u00edcio Olivetti","year":"2021","unstructured":"Fabr\u00edcio Olivetti de Fran\u00e7a and Guilherme Seidyo Imai Aldeia. 2021. Interaction-Transformation Evolutionary Algorithm for Symbolic Regression. Evolutionary computation 29, 3 (2021), 367--390."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/9781118723203"},{"key":"e_1_3_2_1_8_1","volume-title":"Regression and other stories","author":"Gelman Andrew","unstructured":"Andrew Gelman, Jennifer Hill, and Aki Vehtari. 2020. Regression and other stories. Cambridge University Press."},{"key":"e_1_3_2_1_9_1","first-page":"14","article-title":"Regression modeling strategies","volume":"330","author":"Harrell Frank E","year":"2017","unstructured":"Frank E Harrell. 2017. Regression modeling strategies. Bios 330, 2018 (2017), 14.","journal-title":"Bios"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/543552.512566"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2289810"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09371-3"},{"key":"e_1_3_2_1_13_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza John R.","year":"1992","unstructured":"John R. Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA. http:\/\/mitpress.mit.edu\/books\/genetic-programming"},{"key":"e_1_3_2_1_14_1","volume-title":"Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression. arXiv preprint arXiv:2209.00942","author":"Kronberger Gabriel","year":"2022","unstructured":"Gabriel Kronberger. 2022. Local Optimization Often is Ill-conditioned in Genetic Programming for Symbolic Regression. arXiv preprint arXiv:2209.00942 (2022)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3321707.3321776"},{"key":"e_1_3_2_1_16_1","volume-title":"Marco Virgolin, Ying Jin, Michael Kommenda, and Jason H. Moore.","author":"Cava William La","year":"2021","unstructured":"William La Cava, Patryk Orzechowski, Bogdan Burlacu, Fabricio Olivetti de Franca, Marco Virgolin, Ying Jin, Michael Kommenda, and Jason H. Moore. 2021. Contemporary Symbolic Regression Methods and their Relative Performance. In Proceedings of the Neural Information Processing Systems Track on Datasets and Benchmarks. https:\/\/openreview.net\/pdf?id=xVQMrDLyGst"},{"key":"e_1_3_2_1_17_1","volume-title":"James Taggart, Srinivas Suri, and Jason H Moore.","author":"Cava William La","year":"2018","unstructured":"William La Cava, Tilak Raj Singh, James Taggart, Srinivas Suri, and Jason H Moore. 2018. Learning concise representations for regression by evolving networks of trees. arXiv preprint arXiv:1807.00981 (2018)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.103"},{"key":"e_1_3_2_1_19_1","volume-title":"Memetic Algorithms: A Short Introduction. In New Ideas in Optimization","author":"Moscato Pablo","year":"1999","unstructured":"Pablo Moscato. 1999. Memetic Algorithms: A Short Introduction. In New Ideas in Optimization, David Corne, Marco Dorigo, and Fred Glover (Eds.). McGraw-Hill, London, 219--234."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386012"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-010-9113-2"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1997.5.4.401"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3534031"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-23254-0_17"},{"key":"e_1_3_2_1_25_1","volume-title":"AI Feynman: A physics-inspired method for symbolic regression. Science Advances 6, 16","author":"Udrescu Silviu-Marian","year":"2020","unstructured":"Silviu-Marian Udrescu and Max Tegmark. 2020. AI Feynman: A physics-inspired method for symbolic regression. Science Advances 6, 16 (2020), eaay2631."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071287"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3498696"}],"event":{"name":"GECCO '23: Genetic and Evolutionary Computation Conference","location":"Lisbon Portugal","acronym":"GECCO '23","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\/10.1145\/3583131.3590346","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583131.3590346","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:48Z","timestamp":1750182528000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583131.3590346"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":28,"alternative-id":["10.1145\/3583131.3590346","10.1145\/3583131"],"URL":"https:\/\/doi.org\/10.1145\/3583131.3590346","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}