Discovery of Exact Equations for Integer Sequences

Boštjan Gec (), Sašo Džeroski and Ljupčo Todorovski
Additional contact information
Boštjan Gec: Department of Knowledge Technologies, Jožef Stefan Institute, Jamova 39, 1000 Ljubljana, Slovenia
Sašo Džeroski: Department of Knowledge Technologies, Jožef Stefan Institute, Jamova 39, 1000 Ljubljana, Slovenia
Ljupčo Todorovski: Department of Knowledge Technologies, Jožef Stefan Institute, Jamova 39, 1000 Ljubljana, Slovenia

Mathematics, 2024, vol. 12, issue 23, 1-22

Abstract: Equation discovery, also known as symbolic regression, is the field of machine learning that studies algorithms for discovering quantitative laws, expressed as closed-form equations or formulas, in collections of observed data. The latter is expected to come from measurements of physical systems and, therefore, noisy, moving the focus of equation discovery algorithms towards discovering approximate equations. These loosely match the noisy observed data, rendering them inappropriate for applications in mathematics. In this article, we introduce Diofantos , an algorithm for discovering equations in the ring of integers that exactly match the training data. Diofantos is based on a reformulation of the equation discovery task into the task of solving linear Diophantine equations. We empirically evaluate the performance of Diofantos on reconstructing known equations for more than 27,000 sequences from the online encyclopedia of integer sequences, OEIS. Diofantos successfully reconstructs more than 90% of these equations and clearly outperforms SINDy, a state-of-the-art method for discovering approximate equations, that achieves a reconstruction rate of less than 70%.

Keywords: machine learning; equation discovery; symbolic regression; Diophantine equations; online encyclopedia of integer sequences (OEIS) (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2024
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/12/23/3745/pdf (application/pdf)
https://www.mdpi.com/2227-7390/12/23/3745/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:12:y:2024:i:23:p:3745-:d:1531635

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().