Symbolic Equation Solving via Reinforcement Learning

Lennart Dabelow, Masahito Ueda

Machine-learning methods are gradually being adopted in a wide variety of social, economic, and scientific contexts, yet they are notorious for struggling with exact mathematics. A…