By Lennart Dabelow and Masahito Ueda

Machine-learning methods are gradually being adopted in a great variety of social, economic, and scientific contexts, yet they are notorious for struggling with exact mathematics. A typical example is computer algebra, which includes tasks like simplifying mathematical terms, calculating formal derivatives, or finding exact solutions of algebraic equations. Traditional software... Show more

January 24, 2024

Loading full text...

Similar articles

Loading recommendations...

x1

Symbolic Equation Solving via Reinforcement Learning

Click on play to start listening