Abstract

We present MathDSL, a Domain-Specific Language (DSL) for mathematicalequation solving, which, when deployed in program synthesis models, outperformsstate-of-the-art reinforcement-learning-based methods. We also introduce aquantitative metric for measuring the conciseness of a mathematical solutionand demonstrate the improvement in the quality of generated solutions comparedto other methods. Our system demonstrates that a program synthesis system(DreamCoder) using MathDSL can generate programs that solve linear equationswith greater accuracy and conciseness than using reinforcement learningsystems. Additionally, we demonstrate that if we use the action spaces ofprevious reinforcement learning systems as DSLs, MathDSL outperforms theaction-space-DSLs. We use DreamCoder to store equation-solving strategies aslearned abstractions in its program library and demonstrate that by usingMathDSL, these can be converted into human-interpretable solution strategiesthat could have applications in mathematical education.