{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T05:57:47Z","timestamp":1783749467401,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","funder":[{"DOI":"10.13039\/501100003593","name":"Conselho Nacional de Desenvolvimento Cient\u00edfico e Tecnol\u00f3gico","doi-asserted-by":"publisher","award":["301596\/2022-0"],"award-info":[{"award-number":["301596\/2022-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,7,14]]},"DOI":"10.1145\/3712256.3726383","type":"proceedings-article","created":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T12:26:58Z","timestamp":1751977618000},"page":"989-998","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Improving Genetic Programming for Symbolic Regression with Equality Graphs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2741-8736","authenticated-orcid":false,"given":"Fabricio Olivetti","family":"de Fran\u00e7a","sequence":"first","affiliation":[{"name":"Universidade Federal do ABC, Santo Andre, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"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":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2025,7,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"How the Combinatorics of Neutral Spaces Leads Genetic Programming to Discover Simple Solutions","author":"Banzhaf Wolfgang","unstructured":"Wolfgang Banzhaf, Ting Hu, and Gabriela Ochoa. 2024. How the Combinatorics of Neutral Spaces Leads Genetic Programming to Discover Simple Solutions. In Genetic Programming Theory and Practice XX. Springer, 65\u201386."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2023.3280250"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2019.8790162"},{"key":"e_1_3_2_1_4_1","volume-title":"Computer Aided Systems Theory - EUROCAST","author":"Burlacu Bogdan","year":"2019","unstructured":"Bogdan Burlacu, Lukas Kammerer, Michael Affenzeller, and Gabriel Kronberger. 2020. Hash-Based Tree Similarity and Simplification in Genetic Programming for Symbolic Regression. In Computer Aided Systems Theory - EUROCAST 2019, Roberto Moreno-D\u00edaz, Franz Pichler, and Alexis Quesada-Arencibia (Eds.). Springer International Publishing, Cham, 361\u2013369."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3398099"},{"key":"e_1_3_2_1_6_1","volume-title":"Learning Conformal Field Theory with Symbolic Regression: Recovering the Symbolic Expressions for the Energy Spectrum. In NeurIPS 2024 Workshop: Machine Learning and the Physical Sciences.","author":"Cao Haotian","year":"2024","unstructured":"Haotian Cao, Garrett W Merz, Kyle Cranmer, and Gary Shiu. 2024. Learning Conformal Field Theory with Symbolic Regression: Recovering the Symbolic Expressions for the Energy Spectrum. In NeurIPS 2024 Workshop: Machine Learning and the Physical Sciences."},{"key":"e_1_3_2_1_7_1","volume-title":"Genetic Programming Symbolic Regression with Simplification-Pruning Operator for Solving Differential Equations. In International Conference on Neural Information Processing. Springer, 287\u2013298","author":"Cao Lulu","year":"2023","unstructured":"Lulu Cao, Zimo Zheng, Chenwen Ding, Jinkai Cai, and Min Jiang. 2023. Genetic Programming Symbolic Regression with Simplification-Pruning Operator for Solving Differential Equations. In International Conference on Neural Information Processing. Springer, 287\u2013298."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","unstructured":"Miles Cranmer. 2023. Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl. 10.48550\/ARXIV.2305.01582","DOI":"10.48550\/ARXIV.2305.01582"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3583131.3590346"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3712256.3726385"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2024.3423681"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Kalyanmoy Deb Samir Agrawal Amrit Pratap and T. Meyarivan. 2000. A Fast Elitist Non-dominated Sorting Genetic Algorithm for Multi-objective Optimization: NSGA-II. In Parallel Problem Solving from Nature PPSN VI Marc Schoenauer Kalyanmoy Deb G\u00fcnther Rudolph Xin Yao Evelyne Lutton Juan Julian Merelo and Hans-Paul Schwefel (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 849\u2013858.","DOI":"10.1007\/3-540-45356-3_83"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/cplx.10021"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2005.1554780"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-97088-2_7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","unstructured":"Ting Hu Gabriela Ochoa and Wolfgang Banzhaf. 2023. Phenotype Search Trajectory Networks for Linear Genetic Programming. In Genetic Programming Gisele Pappa Mario Giacobini and Zdenek Vasicek (Eds.). Springer Nature Switzerland Cham 52\u201367.","DOI":"10.1007\/978-3-031-29573-7_4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3638529.3654147"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 1st Annual Conference on Genetic and Evolutionary Computation -","volume":"2","author":"Robert","unstructured":"Robert E. Keller and Wolfgang Banzhaf. 1999. The evolution of genetic code in Genetic Programming. In Proceedings of the 1st Annual Conference on Genetic and Evolutionary Computation - Volume 2 (Orlando, Florida) (GECCO'99). Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1077\u20131082."},{"key":"e_1_3_2_1_19_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."},{"key":"e_1_3_2_1_20_1","volume-title":"Symbolic Regression","author":"Kronberger Gabriel","unstructured":"Gabriel Kronberger, Bogdan Burlacu, Michael Kommenda, Stephan M. Winkler, and Michael Affenzeller. 2024. Symbolic Regression. Chapman & Hall \/ CRC Press."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","unstructured":"G. Kronberger F. O. de Franca B. Burlacu C. Haider and M. Kommenda. 2022. Shape-Constrained Symbolic Regression\u2014Improving Extrapolation with Prior Knowledge. Evolutionary Computation 30 1 (03 2022) 75\u201398. 10.1162\/evco_a_00294","DOI":"10.1162\/evco_a_00294"},{"key":"e_1_3_2_1_22_1","volume-title":"Harry Desmond, Deaglan J. Bartlett, and Lukas Kammerer.","author":"Kronberger Gabriel","year":"2024","unstructured":"Gabriel Kronberger, Fabricio Olivetti de Franca, Harry Desmond, Deaglan J. Bartlett, and Lukas Kammerer. 2024. The Inefficiency of Genetic Programming for Symbolic Regression. In Parallel Problem Solving from Nature - PPSN XVIII, Michael Affenzeller, Stephan M. Winkler, Anna V. Kononova, Heike Trautmann, Tea Tu\u0161ar, Penousal Machado, and Thomas B\u00e4ck (Eds.). Springer Nature Switzerland, Cham, 273\u2013289."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2024.102413"},{"key":"e_1_3_2_1_24_1","volume-title":"Ying Jin, and Jason H Moore.","author":"Cava William La","year":"2021","unstructured":"William La Cava, Bogdan Burlacu, Marco Virgolin, Michael Kommenda, Patryk Orzechowski, Fabr\u00edcio Olivetti de Fran\u00e7a, Ying Jin, and Jason H Moore. 2021. Contemporary symbolic regression methods and their relative performance. Advances in neural information processing systems 2021, DB1 (2021), 1."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.3847\/1538-4357\/836\/2\/152"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78671-9_12"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2006.871253"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32937-1_3"},{"key":"e_1_3_2_1_29_1","unstructured":"Katta G Murty and Santosh N Kabadi. 1985. Some NP-complete problems in quadratic and nonlinear programming. Technical Report."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3534031"},{"key":"e_1_3_2_1_31_1","volume-title":"Unit-Aware Genetic Programming for the Development of Empirical Equations. In International Conference on Parallel Problem Solving from Nature. Springer, 168\u2013183","author":"Reuter Julia","year":"2024","unstructured":"Julia Reuter, Viktor Martinek, Roland Herzog, and Sanaz Mostaghim. 2024. Unit-Aware Genetic Programming for the Development of Empirical Equations. In International Conference on Parallel Problem Solving from Nature. Springer, 168\u2013183."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2022.116712"},{"key":"e_1_3_2_1_33_1","volume-title":"Genetic programming with semantic equivalence classes. Swarm and evolutionary computation 44","author":"Ruberto Stefano","year":"2019","unstructured":"Stefano Ruberto, Leonardo Vanneschi, and Mauro Castelli. 2019. Genetic programming with semantic equivalence classes. Swarm and evolutionary computation 44 (2019), 453\u2013469."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3638529.3654087"},{"key":"e_1_3_2_1_35_1","volume-title":"Distilling free-form natural laws from experimental data. science 324, 5923","author":"Schmidt Michael","year":"2009","unstructured":"Michael Schmidt and Hod Lipson. 2009. Distilling free-form natural laws from experimental data. science 324, 5923 (2009), 81\u201385."},{"key":"e_1_3_2_1_36_1","unstructured":"M. Sipper. 2019. Tiny Genetic Programming in Python. https:\/\/github.com\/moshesipper\/tiny_gp."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480915"},{"key":"e_1_3_2_1_38_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_39_1","volume-title":"Bob Mckay, and Edgar Galv\u00e1n-L\u00f3pez.","author":"Uy Nguyen Quang","year":"2010","unstructured":"Nguyen Quang Uy, Michael O'Neill, Nguyen Xuan Hoai, Bob Mckay, and Edgar Galv\u00e1n-L\u00f3pez. 2010. Semantic similarity based crossover in GP: The case for real-valued function regression. In Artifical Evolution: 9th International Conference, Evolution Artificielle, EA, 2009, Strasbourg, France, October 26\u201328, 2009. Revised Selected Papers 9. Springer, 170\u2013181."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-013-9210-0"},{"key":"e_1_3_2_1_41_1","volume-title":"Symbolic Regression is NP-hard. Transactions on Machine Learning Research","author":"Virgolin Marco","year":"2022","unstructured":"Marco Virgolin and Solon P Pissis. 2022. Symbolic Regression is NP-hard. Transactions on Machine Learning Research (2022). https:\/\/openreview.net\/forum?id=LTiaPxqe2e"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3434304"}],"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.3726383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T20:40:21Z","timestamp":1759869621000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712256.3726383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,13]]},"references-count":42,"alternative-id":["10.1145\/3712256.3726383","10.1145\/3712256"],"URL":"https:\/\/doi.org\/10.1145\/3712256.3726383","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"}}]}}