{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,26]],"date-time":"2026-02-26T15:27:40Z","timestamp":1772119660874,"version":"3.50.1"},"reference-count":74,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T00:00:00Z","timestamp":1740009600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001782","name":"University of Melbourne","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001782","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Genet Program Evolvable Mach"],"published-print":{"date-parts":[[2025,6]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Evolutionary symbolic regression approaches are powerful tools that can approximate an explicit mapping between input features and observation for various problems. However, ensuring that explored expressions maintain consistency with domain-specific constraints remains a crucial challenge. While neural networks are able to employ additional information like conservation laws to achieve more appropriate and robust approximations, the potential remains unrealized within genetic algorithms. This disparity is rooted in the inherent discrete randomness of recombining and mutating to generate new mapping expressions, making it challenging to maintain and preserve inferred constraints or restrictions in the course of the exploration. To address this limitation, we propose an approach centered on semantic backpropagation incorporated into the Gene Expression Programming (GEP), which integrates domain-specific properties in a vector representation as corrective feedback during the evolutionary process. By creating backward rules akin to algorithmic differentiation and leveraging pre-computed subsolutions, the mechanism allows the enforcement of any constraint within an expression tree by determining the misalignment and propagating desired changes back. To illustrate the effectiveness of constraining GEP through semantic backpropagation, we take the constraint of physical dimension as an example. This framework is applied to discover physical equations from the Feynman lectures. Results have shown not only an increased likelihood of recovering the original equation but also notable robustness in the presence of noisy data.<\/jats:p>","DOI":"10.1007\/s10710-025-09510-z","type":"journal-article","created":{"date-parts":[[2025,2,19]],"date-time":"2025-02-19T23:25:51Z","timestamp":1740007551000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Constraining genetic symbolic regression via semantic backpropagation"],"prefix":"10.1007","volume":"26","author":[{"given":"Maximilian","family":"Reissmann","sequence":"first","affiliation":[]},{"given":"Yuan","family":"Fang","sequence":"additional","affiliation":[]},{"given":"Andrew S. H.","family":"Ooi","sequence":"additional","affiliation":[]},{"given":"Richard D.","family":"Sandberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,2,20]]},"reference":[{"issue":"15","key":"9510_CR1","doi-asserted-by":"publisher","first-page":"3932","DOI":"10.1073\/pnas.1517384113","volume":"113","author":"SL Brunton","year":"2016","unstructured":"S.L. Brunton, J.L. Proctor, N.J. Kutz, Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proc. Natl. Acad. Sci. U.S.A. 113(15), 3932\u20133937 (2016)","journal-title":"Proc. Natl. Acad. Sci. U.S.A."},{"key":"9510_CR2","doi-asserted-by":"publisher","first-page":"100849","DOI":"10.1016\/j.paerosci.2022.100849","volume":"134","author":"J Li","year":"2022","unstructured":"J. Li, X. Du, J.R.R.A. Martins, Machine learning in aerodynamic shape optimization. Prog. Aerosp. Sci. 134, 100849 (2022)","journal-title":"Prog. Aerosp. Sci."},{"issue":"6","key":"9510_CR3","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1038\/s41573-019-0024-5","volume":"18","author":"J Vamathevan","year":"2019","unstructured":"J. Vamathevan, D. Clark, P. Czodrowski, I. Dunham, E. Ferran, G. Lee, B. Li, A. Madabhushi, P. Shah, M. Spitzer, S. Zhao, Applications of machine learning in drug discovery and development. Nat. Rev. Drug Discovery 18(6), 463\u2013477 (2019)","journal-title":"Nat. Rev. Drug Discovery"},{"issue":"1","key":"9510_CR4","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10462-023-10622-0","volume":"57","author":"N Makke","year":"2024","unstructured":"N. Makke, S. Chawla, Interpretable scientific discovery with symbolic regression: a review. Artif. Intell. Rev. 57(1), 2 (2024)","journal-title":"Artif. Intell. Rev."},{"key":"9510_CR5","doi-asserted-by":"publisher","first-page":"686","DOI":"10.1016\/j.jcp.2018.10.045","volume":"378","author":"M Raissi","year":"2019","unstructured":"M. Raissi, P. Perdikaris, G.E. Karniadakis, Physics-informed neural networks: a deep learning framework for solving forward and inverse problems involving nonlinear partial differential equations. J. Comput. Phys. 378, 686\u2013707 (2019)","journal-title":"J. Comput. Phys."},{"key":"9510_CR6","unstructured":"S. Greydanus, M. Dzamba, J. Yosinski. Hamiltonian neural networks. In: Proceedings of the 33rd International Conference on Neural Information Processing Systems. Curran Associates Inc., Red Hook, NY, USA (2019)"},{"key":"9510_CR7","unstructured":"J.R. Koza, Genetic Programming: On the Programming of Computers by Means of Natural Selection (A Bradford book. Bradford, Cambridge, Massachusetts, 1992)"},{"key":"9510_CR8","doi-asserted-by":"crossref","unstructured":"H. Zhang, A. Zhou, Rl-gep: Symbolic regression via gene expression programming and reinforcement learning. In: 2021 International Joint Conference on Neural Networks (IJCNN), pp. 1\u20138 (2021)","DOI":"10.1109\/IJCNN52387.2021.9533735"},{"issue":"8","key":"9510_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/0898-1221(96)00170-8","volume":"32","author":"CZ Janikow","year":"1996","unstructured":"C.Z. Janikow, A methodology for processing problem constraints in genetic programming. Comput. Math. Appl. 32(8), 97\u2013113 (1996)","journal-title":"Comput. Math. Appl."},{"issue":"2","key":"9510_CR10","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"D.J. Montana, Strongly typed genetic programming. Evol. Comput. 3(2), 199\u2013230 (1995)","journal-title":"Evol. Comput."},{"key":"9510_CR11","doi-asserted-by":"crossref","unstructured":"D. Sobania, On the generalizability of programs synthesized by grammar-guided genetic programming. In: Genetic Programming: 24th European Conference, EuroGP 2021, Held as Part of EvoStar 2021, Virtual Event, April 7\u20139, 2021, Proceedings 24, pp. 130\u2013145 (2021). Springer","DOI":"10.1007\/978-3-030-72812-0_9"},{"issue":"15","key":"9510_CR12","doi-asserted-by":"publisher","first-page":"11265","DOI":"10.1007\/s00500-020-05061-w","volume":"24","author":"P Ramos Criado","year":"2020","unstructured":"P. Ramos Criado, D. Barrios Rolan\u00eda, D. Manrique, E. Serrano, Grammatically uniform population initialization for grammar-guided genetic programming. Soft. Comput. 24(15), 11265\u201311282 (2020)","journal-title":"Soft. Comput."},{"key":"9510_CR13","doi-asserted-by":"crossref","unstructured":"A. Bleh, G. Geiser, Finding transition models using dimensional analysis gene expression programming. In: AIAA SciTech 2024 Forum, p. 1573 (2024)","DOI":"10.2514\/6.2024-1573"},{"key":"9510_CR14","doi-asserted-by":"crossref","unstructured":"A. Grundner, T. Beucler, P. Gentine, V. Eyring, Data-Driven Equation Discovery of a Cloud Cover Parameterization. e2023MS003763 2023MS003763 (2024)","DOI":"10.22541\/essoar.168182254.49726852\/v1"},{"key":"9510_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1109\/TEVC.2014.2306994","volume":"19","author":"J Ni","year":"2015","unstructured":"J. Ni, P. Rockett, Tikhonov regularization as a complexity measure in multiobjective genetic programming. IEEE Trans. Evol. Comput. 19, 157\u2013166 (2015)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"2","key":"9510_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1162\/evco.1995.3.2.199","volume":"3","author":"DJ Montana","year":"1995","unstructured":"D.J. Montana, Strongly Typed Genetic Programming. Evol. Comput. 3(2), 199\u2013230 (1995)","journal-title":"Evol. Comput."},{"issue":"4","key":"9510_CR17","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"M O\u2019Neill","year":"2001","unstructured":"M. O\u2019Neill, C. Ryan, Grammatical evolution. IEEE Trans. Evol. Comput. 5(4), 349\u2013358 (2001)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9510_CR18","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/s10710-010-9109-y","volume":"11","author":"B McKay","year":"2010","unstructured":"B. McKay, N. Ho\u00e0i, P. Whigham, Y. Shan, M. O\u2019Neill, Grammar-based genetic programming: a survey. Genet. Program Evolvable Mach. 11, 365\u2013396 (2010)","journal-title":"Genet. Program Evolvable Mach."},{"key":"9510_CR19","doi-asserted-by":"crossref","unstructured":"Ratle, A., Sebag, M.: Genetic programming and domain knowledge: Beyond the limitations of grammar-guided machine discovery, pp. 211\u2013220 (2007)","DOI":"10.1007\/3-540-45356-3_21"},{"issue":"DB1","key":"9510_CR20","first-page":"1","volume":"2021","author":"W La Cava","year":"2021","unstructured":"W. La Cava, B. Burlacu, M. Virgolin, M. Kommenda, P. Orzechowski, F.O. Fran\u00e7a, Y. Jin, J.H. Moore, Contemporary symbolic regression methods and their relative performance. Adv. Neural. Inf. Process. Syst. 2021(DB1), 1 (2021)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"issue":"3","key":"9510_CR21","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TEVC.2014.2321259","volume":"19","author":"TP Pawlak","year":"2015","unstructured":"T.P. Pawlak, B. Wieloch, K. Krawiec, Semantic backpropagation for designing search operators in genetic programming. IEEE Trans. Evol. Comput. 19(3), 326\u2013340 (2015)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9510_CR22","unstructured":"Virgolin, M., Pissis, S.P.: Symbolic regression is np-hard. Transactions on Machine Learning Research"},{"key":"9510_CR23","doi-asserted-by":"crossref","unstructured":"McKay, B., Willis, M.J., W.\u00a0Barton, G.: Using a tree-structured genetic algorithm to perform symbolic regression, 487\u2013492 (1995)","DOI":"10.1049\/cp:19951096"},{"key":"9510_CR24","unstructured":"D.A. Augusto, H.J.C. Barbosa, Symbolic regression via genetic programming. In: Proceedings. Vol.1. Sixth Brazilian Symposium on Neural Networks, pp. 173\u2013178 (2000)"},{"key":"9510_CR25","unstructured":"Cranmer, M.: Interpretable Machine Learning for Science with PySR and SymbolicRegression.jl (2023)"},{"key":"9510_CR26","unstructured":"T. Stephens, gplearn: Genetic Programming in Python, with a scikit-learn inspired API. Online; accessed [06.2021] (2015). https:\/\/github.com\/trevorstephens\/gplearn"},{"key":"9510_CR27","doi-asserted-by":"crossref","unstructured":"B. He, Q. Lu, Q. Yang, J. Luo, Z. Wang, Taylor genetic programming for symbolic regression. In: Proceedings of the Genetic and Evolutionary Computation Conference. GECCO \u201922, pp. 946\u2013954. ACM, New York, NY, USA (2022)","DOI":"10.1145\/3512290.3528757"},{"key":"9510_CR28","series-title":"Studies in Computational Intelligence","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-32849-1_2","volume-title":"Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence","author":"C Ferreira","year":"2006","unstructured":"C. Ferreira, Gene Expression Programming: Mathematical Modeling by an Artificial Intelligence Studies in Computational Intelligence. (Springer, Berlin, 2006)"},{"issue":"2","key":"9510_CR29","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1162\/evco_a_00278","volume":"29","author":"M Virgolin","year":"2021","unstructured":"M. Virgolin, T. Alderliesten, C. Witteveen, P.A.N. Bosman, Improving model-based genetic programming for symbolic regression of small expressions. Evol. Comput. 29(2), 211\u2013237 (2021)","journal-title":"Evol. Comput."},{"issue":"4","key":"9510_CR30","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1109\/TEVC.2022.3192481","volume":"27","author":"C Kasten","year":"2023","unstructured":"C. Kasten, J. Fahr, M. Klein, An Efficient Way of Introducing Gender Into Evolutionary Algorithms. IEEE Trans. Evol. Comput. 27(4), 1005\u20131014 (2023)","journal-title":"IEEE Trans. Evol. Comput."},{"key":"9510_CR31","doi-asserted-by":"crossref","unstructured":"N. Jiang, Y. Xue, Symbolic regression via control variable genetic programming. In: Machine Learning and Knowledge Discovery in Databases: Research Track, pp. 178\u2013195. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-43421-1_11"},{"key":"9510_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-72699-7_48","volume-title":"TensorGP - Genetic Programming Engine in TensorFlow","author":"F Baeta","year":"2021","unstructured":"F. Baeta, J. Correia, T. Martins, P. Machado, TensorGP - Genetic Programming Engine in TensorFlow (Springer, Cham, 2021)"},{"key":"9510_CR33","first-page":"1","volume":"35","author":"PA Kamienny","year":"2022","unstructured":"P.A. Kamienny, S. D\u2019Ascoli, G. Lample, F. Charton, End-to-end Symbolic Regression with Transformers. Adv. Neural. Inf. Process. Syst. 35, 1\u201320 (2022)","journal-title":"Adv. Neural. Inf. Process. Syst."},{"key":"9510_CR34","unstructured":"S. Sahoo, C. Lampert, G. Martius, Learning equations for extrapolation and control. In: Proceedings of the 35th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol. 80, pp. 4442\u20134450. PMLR, Stockholm, Sweden (2018)"},{"key":"9510_CR35","unstructured":"B.K. Petersen, M.L. Landajuela, T.N. Mundhenk, C.P. Santiago, S.K. Kim, J.T. Kim, Deep Symbolic Regression: Recovering Mathematical Expressions From Data Via Risk-Seeking Policy Gradients. ICLR 2021 - 9th International Conference on Learning Representations (2021)"},{"key":"9510_CR36","unstructured":"N.T. Mundhenk, C.P. Santiago, M. Landajuela, D.M. Faissol, R. Glatt, B.K. Petersen, Symbolic Regression via Neural-Guided Genetic Programming Population Seeding. Advances in Neural Information Processing Systems 30(NeurIPS), 24912\u201324923 (2021)"},{"key":"9510_CR37","unstructured":"M. Valipour, B. You, M. Panju, A. Ghodsi, SymbolicGPT: A Generative Transformer Model for Symbolic Regression (2021) arXiv:2106.14131"},{"key":"9510_CR38","unstructured":"Biggio, L., Bendinelli, T., Lucchi, A., Parascandolo, G.: A Seq2Seq approach to Symbolic Regression (NeurIPS), 1\u20137 (2020)"},{"key":"9510_CR39","first-page":"936","volume":"139","author":"L Biggio","year":"2021","unstructured":"L. Biggio, T. Bendinelli, A. Neitz, A. Lucchi, G. Parascandolo, Neural Symbolic Regression that Scales. Proceedings of Machine Learning Research 139, 936\u2013945 (2021)","journal-title":"Proceedings of Machine Learning Research"},{"key":"9510_CR40","doi-asserted-by":"publisher","first-page":"37840","DOI":"10.1109\/ACCESS.2024.3374649","volume":"12","author":"M Vastl","year":"2024","unstructured":"M. Vastl, J. Kulh\u00e1nek, J. Kubal\u00edk, E. Derner, R. Babu\u0161ka, Symformer: End-to-end symbolic regression using transformer-based architecture. IEEE Access 12, 37840\u201337849 (2024)","journal-title":"IEEE Access"},{"key":"9510_CR41","unstructured":"P.-A. Kamienny, G. Lample, S. Lamprier, M. Virgolin, Deep generative symbolic regression with Monte-Carlo-Tree-Search. In: Krause, A., Brunskill, E., Cho, K., Engelhardt, B., Sabato, S., Scarlett, J. (eds.) Proceedings of the 40th International Conference on Machine Learning. Proceedings of Machine Learning Research, vol. 202, pp. 15655\u201315668. PMLR, Honolulu, Hawaii, USA (2023)"},{"issue":"16","key":"9510_CR42","doi-asserted-by":"publisher","first-page":"2631","DOI":"10.1126\/sciadv.aay2631","volume":"6","author":"S-M Udrescu","year":"2020","unstructured":"S.-M. Udrescu, M. Tegmark, Ai feynman: a physics-inspired method for symbolic regression. Sci. Adv. 6(16), 2631 (2020)","journal-title":"Sci. Adv."},{"key":"9510_CR43","unstructured":"Udrescu, S.M., Tan, A., Feng, J., Neto, O., Wu, T., Tegmark, M.: AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity. Advances in Neural Information Processing Systems 2020-Decem(NeurIPS), 1\u201312 (2020)"},{"issue":"12","key":"9510_CR44","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1038\/s43588-022-00355-5","volume":"2","author":"J Bakarji","year":"2022","unstructured":"J. Bakarji, J. Callaham, S.L. Brunton, J.N. Kutz, Dimensionally consistent learning with Buckingham Pi. Nat. Comput. Sci. 2(12), 834\u2013844 (2022)","journal-title":"Nat. Comput. Sci."},{"issue":"4","key":"9510_CR45","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1103\/PhysRev.4.345","volume":"4","author":"E Buckingham","year":"1914","unstructured":"E. Buckingham, On physically similar systems; illustrations of the use of dimensional equations. Phys. Rev. 4(4), 345 (1914)","journal-title":"Phys. Rev."},{"issue":"2","key":"9510_CR46","doi-asserted-by":"publisher","first-page":"99","DOI":"10.3847\/1538-4357\/ad014c","volume":"959","author":"W Tenachi","year":"2023","unstructured":"W. Tenachi, R. Ibata, F.I. Diakogiannis, Deep symbolic regression for physics guided by units constraints: toward the automated discovery of physical laws. Astrophys J. 959(2), 99 (2023)","journal-title":"Astrophys J."},{"issue":"1","key":"9510_CR47","doi-asserted-by":"publisher","first-page":"33","DOI":"10.3847\/1538-4357\/ac610c","volume":"930","author":"KT Matchev","year":"2022","unstructured":"K.T. Matchev, K. Matcheva, A. Roman, Analytical modeling of exoplanet transit spectroscopy with dimensional analysis and symbolic regression. Astrophys J. 930(1), 33 (2022)","journal-title":"Astrophys J."},{"key":"9510_CR48","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1017\/jfm.2024.272","volume":"985","author":"W Ma","year":"2024","unstructured":"W. Ma, J. Zhang, K. Feng, H. Xing, D. Wen, Dimensional homogeneity constrained gene expression programming for discovering governing equations. J. Fluid Mech. 985, 12 (2024)","journal-title":"J. Fluid Mech."},{"issue":"16","key":"9510_CR49","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1007\/s12665-017-6920-2","volume":"76","author":"RS Faradonbeh","year":"2017","unstructured":"R.S. Faradonbeh, A. Salimi, M. Monjezi, A. Ebrahimabadi, C. Moormann, Roadheader performance prediction using genetic programming (gp) and gene expression programming (gep) techniques. Environ. Earth Sci. 76(16), 584 (2017)","journal-title":"Environ. Earth Sci."},{"key":"9510_CR50","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1016\/j.ijrmms.2016.07.028","volume":"88","author":"RS Faradonbeh","year":"2016","unstructured":"R.S. Faradonbeh, D.J. Armaghani, M. Monjezi, E.T. Mohamad, Genetic programming and gene expression programming for flyrock assessment due to mine blasting. Int. J. Rock Mech. Min. Sci. 88, 254\u2013264 (2016)","journal-title":"Int. J. Rock Mech. Min. Sci."},{"issue":"3","key":"9510_CR51","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MCI.2017.2708618","volume":"12","author":"J Zhong","year":"2017","unstructured":"J. Zhong, L. Feng, Y.S. Ong, Gene expression programming: a survey. IEEE Comput. Intell. Mag. 12(3), 54\u201372 (2017)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"9510_CR52","unstructured":"R.P.R.P. Feynman, The Feynman Lectures on Physics vol. 3, p. 29. Addison-Wesley Pub. Co., Reading, Mass. (1963-1965). Vol. 2 has subtitle: The Electromagnetic Field; Vol. 3 has subtitle: Quantum Mechanics. Includes bibliographical references and indexes"},{"issue":"1","key":"9510_CR53","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1038\/s43246-022-00315-6","volume":"3","author":"P Reiser","year":"2022","unstructured":"P. Reiser, M. Neubert, A. Eberhard, L. Torresi, C. Zhou, C. Shao, H. Metni, C. Hoesel, H. Schopmans, T. Sommer, P. Friederich, Graph neural networks for materials science and chemistry. Commun. Mater. 3(1), 93 (2022)","journal-title":"Commun. Mater."},{"issue":"1","key":"9510_CR54","doi-asserted-by":"publisher","first-page":"8360","DOI":"10.1038\/s41598-022-12201-9","volume":"12","author":"K Jha","year":"2022","unstructured":"K. Jha, S. Saha, H. Singh, Prediction of protein-protein interaction using graph neural networks. Sci. Rep. 12(1), 8360 (2022)","journal-title":"Sci. Rep."},{"key":"9510_CR55","doi-asserted-by":"crossref","unstructured":"Q. Cappart, D. Ch\u00e9telat, E.B. Khalil, A. Lodi, C.J. Morris, P. Veli\u010dkovi\u0107, Combinatorial optimization and reasoning with graph neural networks. Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 4348\u20134355 (2021)","DOI":"10.24963\/ijcai.2021\/595"},{"key":"9510_CR56","doi-asserted-by":"crossref","unstructured":"Wang, J.: A survey on graph neural networks. EAI Endorsed Transactions on E-Learning 8 (2023)","DOI":"10.4108\/eetel.3466"},{"key":"9510_CR57","doi-asserted-by":"crossref","unstructured":"Wiersma, D.S., Mana, G.: The fundamental constants of physics and the International System of Units. vol. 32, pp. 655\u2013663. Springer (2021)","DOI":"10.1007\/s12210-021-01022-z"},{"key":"9510_CR58","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1038\/s41592-019-0686-2","volume":"17","author":"P Virtanen","year":"2020","unstructured":"...P. Virtanen, R. Gommers, T.E. Oliphant, M. Haberland, T. Reddy, D. Cournapeau, E. Burovski, P. Peterson, W. Weckesser, J. Bright, S.J. van der Walt, M. Brett, J. Wilson, K.J. Millman, N. Mayorov, A.R.J. Nelson, E. Jones, R. Kern, E. Larson, C.J. Carey, \u0130 Polat, Y. Feng, E.W. Moore, J. VanderPlas, D. Laxalde, J. Perktold, R. Cimrman, I. Henriksen, E.A. Quintero, C.R. Harris, A.M. Archibald, A.H. Ribeiro, F. Pedregosa, P. van Mulbregt, SciPy 1.0 contributors: SciPy 1.0: fundamental algorithms for scientific computing in python. Nat. Methods 17, 261\u2013272 (2020)","journal-title":"Nat. Methods"},{"key":"9510_CR59","unstructured":"The OpenFOAM Foundation: OpenFOAM: The Open Source CFD Toolbox. Online (2024). https:\/\/openfoam.org\/"},{"issue":"4","key":"9510_CR60","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"M O\u2019Neill","year":"2001","unstructured":"M. O\u2019Neill, C. Ryan, Grammatical evolution. IEEE Trans. Evol. Comput. 5(4), 349\u2013358 (2001)","journal-title":"IEEE Trans. Evol. Comput."},{"issue":"7","key":"9510_CR61","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1557\/mrs.2019.156","volume":"44","author":"S Sun","year":"2019","unstructured":"S. Sun, R. Ouyang, B. Zhang, T.Y. Zhang, Data-driven discovery of formulas by symbolic regression. MRS Bull. 44(7), 559\u2013564 (2019)","journal-title":"MRS Bull."},{"key":"9510_CR62","first-page":"364","volume":"9921","author":"M Szubert","year":"2016","unstructured":"M. Szubert, A. Kodali, S. Ganguly, K. Das, J. Bongard, Semantic forward propagation for symbolic regression 9921, 364\u2013374 (2016)","journal-title":"Semantic forward propagation for symbolic regression"},{"key":"9510_CR63","doi-asserted-by":"crossref","unstructured":"L. Wang, J. Zhao, Algorithmic differentiation. In: Architecture of Advanced Numerical Analysis Systems: Designing a Scientific Computing System using OCaml, pp. 49\u201375. Apress, Berkeley, CA (2023)","DOI":"10.1007\/978-1-4842-8853-5_3"},{"issue":"3","key":"9510_CR64","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/TEVC.2014.2321259","volume":"19","author":"PT Pawlak","year":"2015","unstructured":"P.T. Pawlak, B. Wieloch, K. Krawiec, Semantic backpropagation for designing search operators in genetic programming. Trans. Evol. Comp 19(3), 326\u2013340 (2015)","journal-title":"Trans. Evol. Comp"},{"key":"9510_CR65","doi-asserted-by":"crossref","unstructured":"S. Gowda, Y. Ma, A. Cheli, M. Gwozdz, V.B. Shah, A. Edelman, C. Rackauckas, High-performance symbolic-numerics via multiple dispatch. arXiv preprint arXiv:2105.03949 (2021)","DOI":"10.1145\/3511528.3511535"},{"key":"9510_CR66","doi-asserted-by":"crossref","unstructured":"Meurer, A., Smith, C.P., Paprocki, M., \u010cert\u00edk, O., Kirpichev, S.B., Rocklin, M., Kumar, A., Ivanov, Moore, J.K., Singh, S., Rathnayake, T., Vig, S., Granger, B.E., Muller, R.P., Bonazzi, F., Gupta, H., Vats, S., Johansson, F., Pedregosa, F., Curry, M.J., Terrel, A.R., Rou\u010dka, Saboo, A., Fernando, I., Kulal, S., Cimrman, R., Scopatz, A.: Sympy: symbolic computing in python. PeerJ Computer Science 3, 103 (2017)","DOI":"10.7717\/peerj-cs.103"},{"key":"9510_CR67","unstructured":"J. Bezanson, S. Karpinski, V.B. Shah, A. Edelman, Julia: A fast dynamic language for technical computing. arXiv preprint arXiv:1209.5145 (2012)"},{"key":"9510_CR68","first-page":"889","volume-title":"Encyclopedia of Measurement and Statistics","author":"RM Craparo","year":"2007","unstructured":"R.M. Craparo, Significance level, in Encyclopedia of Measurement and Statistics, vol. 3, ed. by N.J. Salkind (SAGE Publications, Thousand Oaks, 2007), pp.889\u2013891"},{"key":"9510_CR69","first-page":"1","volume":"7","author":"J Dem\u0161ar","year":"2006","unstructured":"J. Dem\u0161ar, Statistical comparisons of classifiers over multiple data sets. J. Mach. Learn. Res. 7, 1\u201330 (2006)","journal-title":"J. Mach. Learn. Res."},{"key":"9510_CR70","unstructured":"Crochepierre, L., Boudjeloud-Assala, L., Barbesant, V.: A Reinforcement Learning Approach to Domain-Knowledge Inclusion Using Grammar Guided Symbolic Regression (2022)"},{"key":"9510_CR71","unstructured":"M. Reissmann, Y. Fang, S.H. Ooi, R.D. Sandberg, Accelerating evolutionary exploration through language model-based transfer learning. arXiv preprint arXiv:2406.05166 (2024)"},{"key":"9510_CR72","unstructured":"Taylor, B.N.: Guide for the use of the International System of Units (SI). NIST Special Publication 811, National Institute of Standards and Technology, Gaithersburg, MD (1995)"},{"issue":"1","key":"9510_CR73","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1038\/scientificamerican0792-66","volume":"267","author":"JH Holland","year":"1992","unstructured":"J.H. Holland, Genetic Algorithms. Sci. Am. 267(1), 66\u201373 (1992)","journal-title":"Sci. Am."},{"key":"9510_CR74","unstructured":"Li, X., Zhou, C., Xiao, W., Nelson, P.C.: Prefix gene expression programming. (2005)"}],"container-title":["Genetic Programming and Evolvable Machines"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-025-09510-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10710-025-09510-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10710-025-09510-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T03:59:17Z","timestamp":1748318357000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10710-025-09510-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,2,20]]},"references-count":74,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2025,6]]}},"alternative-id":["9510"],"URL":"https:\/\/doi.org\/10.1007\/s10710-025-09510-z","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-5042280\/v1","asserted-by":"object"}]},"ISSN":["1389-2576","1573-7632"],"issn-type":[{"value":"1389-2576","type":"print"},{"value":"1573-7632","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,2,20]]},"assertion":[{"value":"6 September 2024","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 February 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 February 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"20 February 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"12"}}