Fetching the paper…
Reading the bibliography…
Scientists have long aimed to discover meaningful formulae which accurately describe experimental data.
Learning dynamic polynomial proofs
Fawzi, A., Malinowski, M., Fawzi, H. & Fawzi, O · 1906
Earlier work this paper cites.
The adsorption of gases on plane surfaces of glass, mica and platinum
Langmuir, I · 1918
Earlier work this paper cites.
Rigorous thermodynamic treatment of gas adsorption
Talu, O. & Myers, A. L · 1988
Earlier work this paper cites.
Genetic Programming: On the Programming of Computers by Means of Natural Selection (MIT Press, Cambridge, 1992)
Koza, J. R · 1992
Earlier work this paper cites.
Genetic Programming II: Automatic Discovery of Reusable Programs (MIT Press, Cambridge, 1994)
Koza, J. R · 1994
Earlier work this paper cites.
Baron: A general purpose global optimization software package
Sahinidis, N. V · 1996
Earlier work this paper cites.
Adsorption equilibria of C1 to C4 alkanes, CO2, and SF6 on silicalite
Sun, M. S., Shah, D. B., Xu, H. H. & Talu, O · 1998
Earlier work this paper cites.
Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization
Parrilo, P. A · 2000
Earlier work this paper cites.
Symbolic regression via genetic programming
Augusto, D. A. & Barbosa, H. J · 2000
Earlier work this paper cites.
A Mathematical Introduction to Logic (Elsevier Science, 2001)
Enderton, H. & Enderton, H · 2001
Earlier work this paper cites.
Complexity of semialgebraic proofs
Grigoryev, D., Hirsch, E. & Pasechnik, D · 2002
Earlier work this paper cites.
Finding knees in multi-objective optimization
Branke, J., Deb, K., Dierolf, H. & Osswald, M · 2004
Earlier work this paper cites.
LGML: Logic Guided Machine Learning
Scott, J., Panju, M. & Ganesh, V · 2006
Earlier work this paper cites.
Discovering symbolic models from deep learning with inductive biases
Cranmer, M. et al · 2006
Earlier work this paper cites.
Orbits of five visual binary stars
Novaković, B · 2007
Earlier work this paper cites.
Numerical methods for experimental design of large-scale linear ill-posed inverse problems
Haber, E., Horesh, L. & Tenorio, L · 2008
Earlier work this paper cites.
Differential dynamic logic for hybrid systems
Platzer, A · 2008
Earlier work this paper cites.
Distilling free-form natural laws from experimental data
Schmidt, M. & Lipson, H · 2009
Earlier work this paper cites.
Optical clocks and relativity
Chou, C. W., Hume, D. B., Rosenband, T. & Wineland, D. J · 2010
Earlier work this paper cites.
A simple electromagnetic model for the light clock of special relativity
Smith, G. S · 2011
Earlier work this paper cites.
Accuracy in symbolic regression
Korns, M. F · 2011
Earlier work this paper cites.
Finding a "kneedle" in a haystack: Detecting knee points in system behavior
Satopaa, V., Albrecht, J., Irwin, D. & Raghavan, B · 2011
Earlier work this paper cites.
The Logic Book (McGraw-Hill Higher Education, 2013)
Bergmann, M., Moor, J. & Nelson, J · 2013
Earlier work this paper cites.
Sum-of-squares proofs and the quest toward optimal algorithms
Barak, B. & Steurer, D · 2014
Earlier work this paper cites.
Data- and theory-driven techniques for surrogate-based optimization
Cozad, A · 2014
Earlier work this paper cites.
A simple derivation of time dilation and length contraction in special relativity
Behroozi, F · 2014
Earlier work this paper cites.
Eureqa (Nutonian, Somerville, USA, 2014)
Schmidt, M. & Lipson, H · 2014
Earlier work this paper cites.
KeYmaera X: An axiomatic tactical theorem prover for hybrid systems
Fulton, N., Mitsch, S., Quesel, J.-D., Völp, M. & Platzer, A · 2015
Earlier work this paper cites.
Globally convergent system and method for automated model discovery (2015)
Avron, H., Horesh, L., Liberti, L. & Nahamoo, D · 2015
Earlier work this paper cites.
Beagle – A Hierarchic Superposition Theorem Prover
Baumgartner, P., Bax, J. & Waldmann, U · 2015
Cited alongside, same era.
Extrapolation and learning equations
Martius, G. & Lampert, C. H · 2016
Cited alongside, same era.
Artificial intelligence to win the nobel prize and beyond: Creating the engine for scientific discovery
Kitano, H · 2016
Cited alongside, same era.
Discovering governing equations from data by sparse identification of nonlinear dynamical systems
Brunton, S. L., Proctor, J. L. & Kutz, J. N · 2016
Cited alongside, same era.
Globally optimal symbolic regression
Austel, V. et al · 2017
Cited alongside, same era.
Neuro-symbolic program synthesis
Parisotto, E. et al · 2017
Cited alongside, same era.
Genetic programming in python, with a scikit-learn inspired api: gplearn
Stephens, T · 2019
Later among the works it cites.
Symbolic regression driven by training data and prior knowledge
Kubalík, J., Derner, E. & Babuška, R · 2020
Later among the works it cites.
Discovering physical concepts with neural networks
Iten, R., Metger, T., Wilming, H., Rio, L. & Renner, R · 2020
Later among the works it cites.
AI Feynman: A physics-inspired method for symbolic regression
Udrescu, S.-M. & Tegmark, M · 2020
Later among the works it cites.
Semantic search in millions of equations
Pfahler, L. & Morik, K · 2020
Later among the works it cites.
MathAlign: Linking formula identifiers to their contextual natural language descriptions
Alexeeva, M. et al · 2020
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Differentiable learning of logical rules for knowledge base reasoning
Yang, F., Yang, Z. & Cohen, W. W · 2017
Cited alongside, same era.
The SCIP optimization suite 4.0
Maher, S. J. et al · 2017
Cited alongside, same era.
Differentiable genetic programming
Izzo, D., Biscani, F. & Mereta, A · 2017
Cited alongside, same era.
SymPy: symbolic computing in Python
Meurer, A. et al · 2017
Cited alongside, same era.
Constraint-based visual generation
Marra, G., Giannini, F., Diligenti, M. & Gori, M · 2018
Cited alongside, same era.
A global MINLP approach to symbolic regression
Cozad, A. & Sahinidis, N. V · 2018
Cited alongside, same era.
Tensor network approaches for learning non-linear dynamical laws
Goeßmann, A. et al · 2020
Later among the works it cites.
Discovering symbolic models from deep learning with inductive biases
Cranmer, M. et al · 2020
Later among the works it cites.
AI Feynman 2.0: Pareto-optimal symbolic regression exploiting graph modularity
Udrescu, S. et al · 2020
Later among the works it cites.
A Bayesian machine scientist to aid in the solution of challenging scientific problems
Guimerà, R. et al · 2020
Later among the works it cites.
Integrating deep learning with logic fusion for information extraction
Wang, W. & Pan, S. J · 2020
Later among the works it cites.
Neural networks enhancement with logical knowledge
Daniele, A. & Serafini, L · 2020
Later among the works it cites.
Learning compositional rules via neural program synthesis
Nye, M., Solar-Lezama, A., Tenenbaum, J. & Lake, B. M · 2020
Later among the works it cites.
Pysr: Fast & parallelized symbolic regression in python/julia, 10.5281/zenodo.4041459 (2020)
Cranmer, M · 2020
Later among the works it cites.
Bayesian machine scientist to aid in the solution of challenging scientific problems
R., G. et al · 2020
Later among the works it cites.
Logic guided genetic algorithms (student abstract)
Ashok, D., Scott, J., Wetzel, S. J., Panju, M. & Ganesh, V · 2021
Closest in time.
A deep reinforcement learning based approach to learning transferable proof guidance strategies
Crouse, M. et al · 2021
Closest in time.
Abduction
Douven, I · 2021
Closest in time.
Translating math formula images to latex sequences using deep neural networks with sequence-level training
Wang, Z. & Liu, J.-C. S · 2021
Closest in time.
Experimental design for symbolic model discovery (2021)
Horesh, L., Clarkson, K. L., Cornelio, C. & Magliacane, S · 2021
Closest in time.
Dreamcoder: Bootstrapping inductive program synthesis with wake-sleep library learning
Ellis, K. et al · 2021
Closest in time.
Multi-objective symbolic regression for physics-aware dynamic modeling
Kubalík, J., Derner, E. & Babuška, R · 2021
Closest in time.
Deterministic symbolic regression with derivative information: General methodology and application to equations of state
Engle, M. R. & Sahinidis, N. V · 2021
Closest in time.
Informed machine learning - a taxonomy and survey of integrating prior knowledge into learning systems
von Rueden, L. et al · 2021
Closest in time.
Bayesian experimental design for symbolic discovery
Clarkson, K. L. et al · 2022
Closest in time.
A review of some techniques for inclusion of domain-knowledge into deep neural networks
Dash, T., Chitlangia, S., Ahuja, A. & Srinivasan, A · 2022
Closest in time.
Deep learning with logical constraints
Giunchiglia, E., Stoian, M. C. & Lukasiewicz, T · 2022
Closest in time.
Neuro-symbolic inductive logic programming with logical neural networks
Sen, P., de Carvalho, B. W. S. R., Riegel, R. & Gray, A. G · 2022
Closest in time.