Generating Elementary Integrable Expressions
Abstract
There has been an increasing number of applications of machine learning to the field of Computer Algebra in recent years, including to the prominent sub-field of Symbolic Integration. However, machine learning models require an abundance of data for them to be successful and there exist few benchmarks on the scale required. While methods to generate new data already exist, they are flawed in several ways which may lead to bias in machine learning models trained upon them. In this paper, we describe how to use the Risch Algorithm for symbolic integration to create a dataset of elementary integrable expressions. Further, we show that data generated this way alleviates some of the flaws found in earlier methods.
Cite
@article{arxiv.2306.15572,
title = {Generating Elementary Integrable Expressions},
author = {Rashid Barket and Matthew England and Jürgen Gerhard},
journal= {arXiv preprint arXiv:2306.15572},
year = {2023}
}
Comments
To appear in proceedings of CASC 2023. This version of the contribution has been accepted for publication, after peer review but is not the Version of Record and does not reflect post-acceptance improvements, or any corrections