Published May 16, 2025 | Version 1.0
Dataset Open

SynPAT: A System for Generating Synthetic Physical Theories with Data

Authors/Creators

  • 1. EDMO icon University of Wisconsin-Madison
  • 2. IBM T.J. Watson Research Center

Contributors

  • 1. EDMO icon University of Wisconsin-Madison
  • 2. IBM T.J. Watson Research Center

Description

This dataset contains systems of dimensionally consistent equations generated across different configurations of variable count, derivative count, and equation count. Each configuration includes three generated systems with associated replacements, system data, noisy variants, and consequences. The dataset is designed to benchmark symbolic regression models on machine-assisted physical discovery tasks.

Files

dataset.zip

Files (91.6 MB)

Name Size Download all
md5:21a8e913ca0592a7b952b76795c7c4f3
91.6 MB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/jlenchner/theorizer (URL)

Dates

Submitted
2025-05-15
NeurIPS 2025 Submission

Software

Repository URL
https://github.com/jlenchner/theorizer
Programming language
Python , Macaulay2
Development Status
Active

References

  • Kendall E. Atkinson. An Introduction to Numerical Analysis. John Wiley & Sons, New York, 2nd edition, 1989
  • Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler Josephson, and Nimrod Megiddo. Symbolic regression using mixed-integer nonlinear optimization. arXiv381 preprint arXiv:2006.06813, 2020
  • Magali Bardet, Jean-Charles Faugère, and Bruno Salvy. On the complexity of the f5 gröbner basis algorithm. Journal of Symbolic Computation, 70:49–70, 2015
  • Elena Bautu, Andrei Bautu, and Henri Luchian. Symbolic regression on noisy data with genetic and gene expression programming. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05), pages 321–324, 2005
  • Sören Becker, Michal Klein, Alexander Neitz, Giambattista Parascandolo, and Niki Kilbertus. Predicting ordinary differential equations with transformers. In Proceedings of the 40th International Conference on Machine Learning, ICML'23. JMLR.org, 2023
  • Ari Belenkiy and Eduardo Vila Echague. Groping toward linear regression analysis: Newton's analysis of hipparchus' equinox observations. The Observatory, 136(1250):14:29, 2016
  • Josh Bongard and Hod Lipson. Automated reverse engineering of non- linear dynamical systems. Proceedings of the National Academy of Sciences, 104(24):9943—-9948, 2007
  • Bruno Buchberger. Bruno buchberger's phd thesis 1965: An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal. Journal of Symbolic Computation, 41(3):475–511, 2006. Logic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday)
  • William La Cava, Tilak Raj Singh, James Taggart, Srinivas Suri, and Jason Moore. Learning concise representations for regression by evolving networks of trees. In International Conference on Learning Representations, 2019
  • Ricky T. Q. Chen, Yulia Rubanova, Jesse Bettencourt, and David Duvenaud. Neural ordinary differential equations. In Proceedings of the 32nd International Conference on Neural Information Processing Systems, NIPS'18, page 6572–6583, Red Hook, NY, USA, 2018. Curran Associates Inc
  • Ryan Cory-Wright, Cristina Cornelio, Sanjeeb Dash, Bachir El Khadir, and Lior Horesh. Evolving scientific discovery by unifying data and background knowledge with AI Hilbert. Nature Communications, 15(1):5922, 2024.
  • David A. Cox, John Little, and Donal O'Shea. Ideals, Varieties, and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra. Springer Publishing Company, Incorporated, 3rd edition, 2010.
  • Miles Cranmer. Interpretable machine learning for science with pysr and symbolicregression.jl, 2023
  • Stéphane d'Ascoli, Sören Becker, Philippe Schwaller, Alexander Mathis, and Niki Kilbertus. ODEFormer: Symbolic regression of dynamical systems with transformers. In The Twelfth International Conference on Learning Representations, 2024
  • Sanjeeb Dash, Vernon Austel, Tyler R. Josephson, Joao Goncalves, Kenneth L. Clarkson, Nimrod Megiddo, Bachir El Khadir, and Lior Horesh. Combining data and theory for derivable scientific discovery with AI-Descartes. Nature Communications, 14(1):1777, 2023
  • John Duffy and Jim Engle-Warnickg. Using symbolic regression to infer strategies from experimental data. In Fifth International Conference: Computing in Economics and Finance, volume 44. Boston College, MA, 2019
  • Richard P. Feynman, Robert B. Leighton, and Matthew Sands. The Feynman Lectures on Physics, volume 1–3. Pearson/Addison-Wesley, 1963. https://www.feynmanlectures. caltech.edu.
  • Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at http://www2.macaulay2.com
  • Michael F. Korns. Large-scale, time-constrained symbolic regression. In Rick L. Riolo, Terence Soule, and Bill Worzel, editors, Genetic Pro- gramming Theory and Practice IV, Genetic and Evolutionary Computation, chapter 16. Springer, Ann Arbor, MI, 2006.
  • John R. Koza. Genetic Programming. MIT Press, 1992.
  • William La Cava, Bogdan Burlacu, Marco Virgolin, Michael Kommenda, Patryk Orzechowski, Fabrício Olivetti de França, Ying Jin, and Jason H Moore. Contemporary symbolic regression methods and their relative performance. Advances in neural information processing systems, 2021(DB1):1, 2021
  • Pat Langley, Gary L Bradshaw, and Herbert A Simon. Bacon. 5: The discovery of conservation laws. In IJCAI, volume 81, pages 121–126. Citeseer, 1981
  • Randal S. Olson, William La Cava, Patryk Orzechowski abd Ryan J. Urbanowicz, and Jason H. Moore BioData Mining. PMLB: a large benchmark suite for machine learning evaluation and comparison. BioData Mioning, 10:36, 2017
  • Patryk Orzechowski, William La Cava, and Jason H. Moore. Where are we now? A large benchmark study of recent symbolic regression methods. In Proceedings of the Genetic and Evolutionary Computation Conference, GECCO '18, page 1183–1190, New York, NY, USA, 2018. Association for Computing Machinery
  • Michael Schmidt and Hod Lipson. Distilling free-form natural laws from experimental data. Science, 324(5923):81–85, 2009
  • Silviu-Marian Udrescu and Max Tegmark. The Feynman symbolic regression database. https://space.mit.edu/home/tegmark/aifeynman.html, 2020. [Online; accessed 22-February- 2025]
  • Steven H. Strogatz. Nonlinear Dynamics And Chaos: With Applications To Physics, Biology, Chemistry, And Engineering. CRC Press, 1st edition, 2000
  • Alberto Tonda. Review of PySR: high-performance symbolic regression in Python and Julia. Genetic Programming and Evolvable Machines, 26(7), 2025
  • Silviu-Marian Udrescu and Max Tegmark. AI Feynman: A physics-inspired method for symbolic regression. Science Advances, 6(16):eaay2631, 2020
  • Silviu-Marian Udrescu and Max Tegmark. AI Feynman: a physics-inspired method for symbolic regression. https://arxiv.org/abs/1905.11481, 2020
  • William La Cava. The ODE-Strogatz repository. https://github.com/lacava/ode-strogatz/, 2020. [Online; accessed 22-February-2025]
  • Stephen Wolfram. Symbolic regression via genetic programming. https://library.wolfram.com/infocenter/Conferences/5392/, 2004
  • Jan Žegklitz and Petr Posík. Benchmarking state-of-the-art symbolic regression algorithms. Genetic Programming and Evolvable Machines, 22:5 – 33, 2020