SOURCE-LINKED INTELLIGENCE

Reinforcement Learning for Symbolic Equation Solving

arXiv · AI, language, vision and robotics · article · Aug 31, 2026 · UTC

We present a reinforcement-learning agent that solves symbolic equations step by step, covering both nonlinear closed equations (radicals, exponentials, trigonometric) and a controlled class of restricted-open families requiring a change of variables (CoV) such as completing the square. We cast algebra as an MDP with a dynamic action space and a tree-structured policy (TreeMLP). The main policy learns from reward alone with no supervised solution traces; the CoV substitution comes from a supervised generator interchangeable with a CAS call. On closed equations the agent matches the prior best

Read original source ↗ Open in workspace

recordType

paper

region

Global