Generating Elementary Integrable Expressions
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.
Code (1)
Similar Papers 제목 키워드 기반
An elementary proof of the dual representation of Expected Shortfall
We provide an elementary proof of the dual representation of Expected Shortfall on the space of integrable random variables over a general probability space. Unlike the results in the extant literature, our proof only ex…
Model-Free Finance and Non-Lattice Integration
Starting solely with a set of possible prices for a traded asset $S$ (in infinite discrete time) expressed in units of a numeraire, we explain how to construct a Daniell type of integral representing prices of integrable…
modelThe Liouville Generator for Producing Integrable Expressions
There has been a growing need to devise processes that can create comprehensive datasets in the world of Computer Algebra, both for accurate benchmarking and for new intersections with machine learning technology. We pre…
BenchmarkingRecognizing Handwritten Mathematical Expressions of Vertical Addition and Subtraction
Handwritten Mathematical Expression Recognition (HMER) is a challenging task with many educational applications. Recent methods for HMER have been developed for complex mathematical expressions in standard horizontal for…
object-detectionObject Detection"How to best say it?" : Translating Directives in Machine Language into Natural Language in the Blocks World
We propose a method to generate optimal natural language for block placement directives generated by a machine's planner during human-agent interactions in the blocks world. A non user-friendly machine directive, e.g., m…