Generating Elementary Integrable Expressions

06/27/2023
by   Rashid Barket, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
01/29/2022

Symbolic-Numeric Integration of Univariate Expressions based on Sparse Regression

Most computer algebra systems (CAS) support symbolic integration as core...
research
02/13/2022

Stability Problems in Symbolic Integration

This paper aims to initialize a dynamical aspect of symbolic integration...
research
04/13/2021

Distilling Wikipedia mathematical knowledge into neural network models

Machine learning applications to symbolic mathematics are becoming incre...
research
05/31/2023

Shadows of quantum machine learning

Quantum machine learning is often highlighted as one of the most promisi...
research
03/14/2023

Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models

Creating learning models that can exhibit sophisticated reasoning skills...
research
05/06/2023

Symbolic Regression on FPGAs for Fast Machine Learning Inference

The high-energy physics community is investigating the feasibility of de...
research
06/02/2021

Undecidability of Learnability

Machine learning researchers and practitioners steadily enlarge the mult...

Please sign up or login with your details

Forgot password? Click here to reset