{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,27]],"date-time":"2026-07-27T01:06:00Z","timestamp":1785114360190,"version":"3.55.0"},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"},{"start":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T00:00:00Z","timestamp":1763683200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0"}],"funder":[{"DOI":"10.13039\/501100004826","name":"Natural Science Foundation of Beijing Municipality","doi-asserted-by":"publisher","award":["1232009"],"award-info":[{"award-number":["1232009"]}],"id":[{"id":"10.13039\/501100004826","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Strategic Priority Research Program of the Chinese Academy of Sciences"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Nat Comput Sci"],"DOI":"10.1038\/s43588-025-00904-8","type":"journal-article","created":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T10:03:07Z","timestamp":1763719387000},"page":"53-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Discovering physical laws with parallel symbolic enumeration"],"prefix":"10.1038","volume":"6","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4010-2936","authenticated-orcid":false,"given":"Kai","family":"Ruan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yilong","family":"Xu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6695-8209","authenticated-orcid":false,"given":"Ze-Feng","family":"Gao","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0127-4030","authenticated-orcid":false,"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3075-2161","authenticated-orcid":false,"given":"Yike","family":"Guo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9777-9676","authenticated-orcid":false,"given":"Ji-Rong","family":"Wen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5145-3259","authenticated-orcid":false,"given":"Hao","family":"Sun","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,11,21]]},"reference":[{"key":"904_CR1","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1126\/science.1165893","volume":"324","author":"M Schmidt","year":"2009","unstructured":"Schmidt, M. & Lipson, H. Distilling free-form natural laws from experimental data. Science 324, 81\u201385 (2009).","journal-title":"Science"},{"key":"904_CR2","doi-asserted-by":"publisher","first-page":"e2202074120","DOI":"10.1073\/pnas.2202074120","volume":"120","author":"D Wadekar","year":"2023","unstructured":"Wadekar, D. et al. Augmenting astrophysical scaling relations with machine learning: application to reducing the Sunyaev\u2013Zeldovich flux\u2013mass scatter. Proc. Natl Acad. Sci. USA 120, e2202074120 (2023).","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"904_CR3","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-37384-1","volume":"14","author":"Y Li","year":"2023","unstructured":"Li, Y. et al. Electron transfer rules of minerals under pressure informed by machine learning. Nat. Commun. 14, 1815 (2023).","journal-title":"Nat. Commun."},{"key":"904_CR4","doi-asserted-by":"publisher","first-page":"e2306275120","DOI":"10.1073\/pnas.2306275120","volume":"120","author":"D H\u00e4fner","year":"2023","unstructured":"H\u00e4fner, D., Gemmrich, J. & Jochum, M. Machine-guided discovery of a real-world rogue wave model. Proc. Natl Acad. Sci. USA 120, e2306275120 (2023).","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"904_CR5","doi-asserted-by":"publisher","first-page":"e2220789120","DOI":"10.1073\/pnas.2220789120","volume":"120","author":"Y Chong","year":"2023","unstructured":"Chong, Y. et al. Machine learning of spectra-property relationship for imperfect and small chemistry data. Proc. Natl Acad. Sci. USA 120, e2220789120 (2023).","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"904_CR6","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1038\/s43588-023-00428-z","volume":"3","author":"H Jung","year":"2023","unstructured":"Jung, H. et al. Machine-guided path sampling to discover mechanisms of molecular self-organization. Nat. Comput. Sci. 3, 334\u2013345 (2023).","journal-title":"Nat. Comput. Sci."},{"key":"904_CR7","doi-asserted-by":"crossref","unstructured":"Hosmer, D. W. Jr, Lemeshow, S. & Sturdivant, R. X. Applied Logistic Regression Vol. 398 (John Wiley & Sons, 2013).","DOI":"10.1002\/9781118548387"},{"key":"904_CR8","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1126\/science.8346439","volume":"261","author":"S Forrest","year":"1993","unstructured":"Forrest, S. Genetic algorithms: principles of natural selection applied to computation. Science 261, 872\u2013878 (1993).","journal-title":"Science"},{"key":"904_CR9","doi-asserted-by":"publisher","first-page":"eaav6971","DOI":"10.1126\/sciadv.aav6971","volume":"6","author":"R Guimer\u00e0","year":"2020","unstructured":"Guimer\u00e0, R. et al. A Bayesian machine scientist to aid in the solution of challenging scientific problems. Sci. Adv. 6, eaav6971 (2020).","journal-title":"Sci. Adv."},{"key":"904_CR10","first-page":"3585","volume":"13","author":"DL Ly","year":"2012","unstructured":"Ly, D. L. & Lipson, H. Learning symbolic representations of hybrid dynamical systems. J. Mach. Learn. Res. 13, 3585\u20133618 (2012).","journal-title":"J. Mach. Learn. Res."},{"key":"904_CR11","doi-asserted-by":"publisher","first-page":"3932","DOI":"10.1073\/pnas.1517384113","volume":"113","author":"SL Brunton","year":"2016","unstructured":"Brunton, S. L., Proctor, J. L. & Kutz, J. N. Discovering governing equations from data by sparse identification of nonlinear dynamical systems. Proc. Natl Acad. Sci. USA 113, 3932\u20133937 (2016).","journal-title":"Proc. Natl Acad. Sci. USA"},{"key":"904_CR12","doi-asserted-by":"publisher","first-page":"e1602614","DOI":"10.1126\/sciadv.1602614","volume":"3","author":"SH Rudy","year":"2017","unstructured":"Rudy, S. H., Brunton, S. L., Proctor, J. L. & Kutz, J. N. Data-driven discovery of partial differential equations. Sci. Adv. 3, e1602614 (2017).","journal-title":"Sci. Adv."},{"key":"904_CR13","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-021-26434-1","volume":"12","author":"Z Chen","year":"2021","unstructured":"Chen, Z., Liu, Y. & Sun, H. Physics-informed learning of governing equations from scarce data. Nat. Commun. 12, 6136 (2021).","journal-title":"Nat. Commun."},{"key":"904_CR14","doi-asserted-by":"crossref","unstructured":"Sun, F., Liu, Y. & Sun, H. Physics-informed spline learning for nonlinear dynamics discovery. In Proc. 13th International Joint Conference on Artificial Intelligence (ed. Zhou, Z.-H.) 2454\u20132461 (IJCAI Organization, 2021).","DOI":"10.24963\/ijcai.2021\/283"},{"key":"904_CR15","doi-asserted-by":"publisher","first-page":"765","DOI":"10.1038\/s42256-023-00685-7","volume":"5","author":"C Rao","year":"2023","unstructured":"Rao, C. et al. Encoding physics to learn reaction\u2013diffusion processes. Nat. Mach. Intell. 5, 765\u2013779 (2023).","journal-title":"Nat. Mach. Intell."},{"key":"904_CR16","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1038\/s43588-022-00217-0","volume":"2","author":"T-T Gao","year":"2022","unstructured":"Gao, T.-T. & Yan, G. Autonomous inference of complex network dynamics from incomplete and noisy data. Nat. Comput. Sci. 2, 160\u2013168 (2022).","journal-title":"Nat. Comput. Sci."},{"key":"904_CR17","unstructured":"Petersen, B. K. et al. Deep symbolic regression: recovering mathematical expressions from data via risk-seeking policy gradients. In The 9th International Conference on Learning Representations (2021)."},{"key":"904_CR18","unstructured":"Kusner, M. J., Paige, B. & Hern\u00e1ndez-Lobato, J. M. Grammar variational autoencoder. In Proc. 34th International Conference on Machine Learning (ed. Precup, D.) 1945\u20131954 (Proceedings of Machine Learning Research, 2017)."},{"key":"904_CR19","doi-asserted-by":"publisher","first-page":"eaay2631","DOI":"10.1126\/sciadv.aay2631","volume":"6","author":"S-M Udrescu","year":"2020","unstructured":"Udrescu, S.-M. & Tegmark, M. AI Feynman: a physics-inspired method for symbolic regression. Sci. Adv. 6, eaay2631 (2020).","journal-title":"Sci. Adv."},{"key":"904_CR20","unstructured":"Biggio, L., Bendinelli, T., Neitz, A., Lucchi, A. & Parascandolo, G. Neural symbolic regression that scales. In Proc. 38th International Conference on Machine Learning Vol. 139 (eds Meila, M. & Zhang, T.) 936\u2013945 (Proceedings of Machine Learning Research, 2021)."},{"key":"904_CR21","first-page":"10269","volume":"35","author":"P-A Kamienny","year":"2022","unstructured":"Kamienny, P.-A., d\u2019Ascoli, S., Lample, G. & Charton, F. End-to-end symbolic regression with transformers. Adv. Neural Inf. Process. Syst. 35, 10269\u201310281 (2022).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"904_CR22","unstructured":"Holt, S., Qian, Z. & van der Schaar, M. Deep generative symbolic regression. In The 11th International Conference on Learning Representations (2023)."},{"key":"904_CR23","unstructured":"Sahoo, S., Lampert, C. & Martius, G. Learning equations for extrapolation and control. In Proc. 35th International Conference on Machine Learning (eds Dy, J. & Krause, A.) 4442\u20134450 (Proceedings of Machine Learning Research, 2018)."},{"key":"904_CR24","doi-asserted-by":"crossref","unstructured":"Coulom, R. Efficient selectivity and backup operators in Monte-Carlo tree search. In International Conference on Computers and Games (eds van den Herik, H. J. et al.) 72\u201383 (Springer, 2006).","DOI":"10.1007\/978-3-540-75538-8_7"},{"key":"904_CR25","doi-asserted-by":"crossref","unstructured":"Kocsis, L. & Szepesv\u00e1ri, C. Bandit based Monte-Carlo planning. In European Conference on Machine Learning (eds F\u00fcrnkranz, J. et al.) 282\u2013293 (Springer, 2006).","DOI":"10.1007\/11871842_29"},{"key":"904_CR26","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1126\/science.aar6404","volume":"362","author":"D Silver","year":"2018","unstructured":"Silver, D. et al. A general reinforcement learning algorithm that masters chess, shogi, and go through self-play. Science 362, 1140\u20131144 (2018).","journal-title":"Science"},{"key":"904_CR27","unstructured":"Sun, F., Liu, Y., Wang, J.-X. & Sun, H. Symbolic physics learner: discovering governing equations via Monte Carlo tree search. In The 11th International Conference on Learning Representations (2023)."},{"key":"904_CR28","unstructured":"Kamienny, P.-A., Lample, G., Lamprier, S. & Virgolin, M. Deep generative symbolic regression with Monte-Carlo-tree-search. In Proc. 40th International Conference on Machine Learning (eds Brunskill, E. & Cho, K.) 15655\u201315668 (Proceedings of Machine Learning Research, 2023)."},{"key":"904_CR29","unstructured":"Xu, Y., Liu, Y. & Sun, H. Reinforcement symbolic regression machine. In The 12th International Conference on Learning Representations (2024)."},{"key":"904_CR30","first-page":"45907","volume":"36","author":"P Shojaee","year":"2023","unstructured":"Shojaee, P., Meidani, K., Farimani, A. B. & Reddy, C. Transformer-based planning for symbolic regression. Adv. Neural Inf. Process. Syst. 36, 45907\u201345919 (2023).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"904_CR31","doi-asserted-by":"publisher","first-page":"127591","DOI":"10.1016\/j.eswa.2025.127591","volume":"281","author":"Y Li","year":"2025","unstructured":"Li, Y. et al. Discovering mathematical formulas from data via gpt-guided monte carlo tree search. Expert Syst. Appl. 281, 127591 (2025).","journal-title":"Expert Syst. Appl."},{"key":"904_CR32","first-page":"24912","volume":"34","author":"T Mundhenk","year":"2021","unstructured":"Mundhenk, T. et al. Symbolic regression via deep reinforcement learning enhanced genetic programming seeding. Adv. Neural Inf. Process. Syst. 34, 24912\u201324923 (2021).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"904_CR33","unstructured":"Virgolin, M. & Pissis, S. P. Symbolic regression is NP-hard. Trans. Mach. Learn. Res. https:\/\/openreview.net\/forum?id=LTiaPxqe2e (2022)."},{"key":"904_CR34","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/s10710-010-9121-2","volume":"12","author":"NQ Uy","year":"2011","unstructured":"Uy, N. Q., Hoai, N. X., O\u2019Neill, M., McKay, R. I. & Galv\u00e1n-L\u00f3pez, E. Semantically-based crossover in genetic programming: application to real-valued symbolic regression. Genet. Program. Evolvable Mach. 12, 91\u2013119 (2011).","journal-title":"Genet. Program. Evolvable Mach."},{"key":"904_CR35","doi-asserted-by":"crossref","unstructured":"McDermott, J. et al. Genetic programming needs better benchmarks. In Proc. 14th Annual Conference on Genetic and Evolutionary Computation (eds Soule, T. & Auger, A.) 791\u2013798 (Association for Computing Machinery, 2012).","DOI":"10.1145\/2330163.2330273"},{"key":"904_CR36","doi-asserted-by":"crossref","unstructured":"Krawiec, K. & Pawlak, T. Approximating geometric crossover by semantic backpropagation. In Proc. 15th Annual Conference on Genetic and Evolutionary Computation (ed. Blum, C.) 941\u2013948 (Association for Computing Machinery, 2013).","DOI":"10.1145\/2463372.2463483"},{"key":"904_CR37","unstructured":"Cranmer, M. Interpretable machine learning for science with PySR and SymbolicRegression.jl. Preprint at https:\/\/arxiv.org\/abs\/2305.01582 (2023)."},{"key":"904_CR38","first-page":"33985","volume":"35","author":"M Landajuela","year":"2022","unstructured":"Landajuela, M. et al. A unified framework for deep symbolic regression. Adv. Neural Inf. Process. Syst. 35, 33985\u201333998 (2022).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"904_CR39","doi-asserted-by":"crossref","unstructured":"Burlacu, B., Kronberger, G. & Kommenda, M. Operon c++: an efficient genetic programming framework for symbolic regression. In Proc. 2020 Genetic and Evolutionary Computation Conference Companion 1562\u20131570 (Association for Computing Machinery, 2020).","DOI":"10.1145\/3377929.3398099"},{"key":"904_CR40","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"EN Lorenz","year":"1963","unstructured":"Lorenz, E. N. Deterministic nonperiodic flow. J. Atmos. Sci. 20, 130\u2013141 (1963).","journal-title":"J. Atmos. Sci."},{"key":"904_CR41","unstructured":"Gilpin, W. Chaos as an interpretable benchmark for forecasting and data-driven modelling. In The 35th Conference on Neural Information Processing Systems Track on Datasets and Benchmarks (Curran Associates, 2021)."},{"key":"904_CR42","unstructured":"Janot, A., Gautier, M. & Brunot, M. Data set and reference models of EMPS. In Workshop on Nonlinear System Identification Benchmarks (2019)."},{"key":"904_CR43","unstructured":"Nikuradse, J. et al. Laws of Flow in Rough Pipes Technical Report No. NACA-TM-1292 (1950); https:\/\/ntrs.nasa.gov\/citations\/19930093938"},{"key":"904_CR44","unstructured":"Prandtl, L. Recent Results of Turbulence Research Technical Report No. NACA-TM-720 (1933); https:\/\/ntrs.nasa.gov\/citations\/19930094697"},{"key":"904_CR45","doi-asserted-by":"publisher","first-page":"044503","DOI":"10.1103\/PhysRevLett.96.044503","volume":"96","author":"N Goldenfeld","year":"2006","unstructured":"Goldenfeld, N. Roughness-induced critical phenomena in a turbulent flow. Phys. Rev. Lett. 96, 044503 (2006).","journal-title":"Phys. Rev. Lett."},{"key":"904_CR46","first-page":"1","volume":"2021","author":"W La Cava","year":"2021","unstructured":"La Cava, W. et al. Contemporary symbolic regression methods and their relative performance. Adv. Neural Inf. Process. Syst. 2021, 1\u201316 (2021).","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"904_CR47","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1038\/s41586-020-2649-2","volume":"585","author":"CR Harris","year":"2020","unstructured":"Harris, C. R. et al. Array programming with NumPy. Nature 585, 357\u2013362 (2020).","journal-title":"Nature"},{"key":"904_CR48","unstructured":"Okuta, R., Unno, Y., Nishino, D., Hido, S. & Loomis, C. CuPy: a NumPy-compatible library for NVIDIA GPU calculations. In Proc. 31st Conference on Neural Information Processing Systems (eds von Luxburg, U. & Guyon, I.) 933\u2013940 (Curran Associates, 2017)."},{"key":"904_CR49","doi-asserted-by":"publisher","first-page":"950","DOI":"10.1109\/TEVC.2023.3280250","volume":"28","author":"DJ Bartlett","year":"2024","unstructured":"Bartlett, D. J., Desmond, H. & Ferreira, P. G. Exhaustive symbolic regression. IEEE Trans. Evol. Comput. 28, 950\u2013964 (2024).","journal-title":"IEEE Trans. Evol. Comput."},{"key":"904_CR50","doi-asserted-by":"publisher","unstructured":"Kai, K. Discovering physical laws with parallel symbolic enumeration. zenodo https:\/\/doi.org\/10.5281\/zenodo.17266354 (2025).","DOI":"10.5281\/zenodo.17266354"}],"container-title":["Nature Computational Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.nature.com\/articles\/s43588-025-00904-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s43588-025-00904-8","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.nature.com\/articles\/s43588-025-00904-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,29]],"date-time":"2026-01-29T12:19:00Z","timestamp":1769689140000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.nature.com\/articles\/s43588-025-00904-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,21]]},"references-count":50,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2026,1]]}},"alternative-id":["904"],"URL":"https:\/\/doi.org\/10.1038\/s43588-025-00904-8","relation":{},"ISSN":["2662-8457"],"issn-type":[{"value":"2662-8457","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,21]]},"assertion":[{"value":"25 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 October 2025","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 November 2025","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"The authors declare no competing interests.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Competing interests"}}]}}