1 code implementation • 23 Apr 2024 • Rashid Barket, Matthew England, Jürgen Gerhard
A key consideration of our methodology is how to represent the mathematics to the ML model: we hypothesise that a representation which encodes the tree structure of mathematical expressions would be well suited.
1 code implementation • 27 Jun 2023 • Rashid Barket, Matthew England, Jürgen Gerhard
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.