Maple
Neural Networks Study Math: A sequence to sequence model for solving math problems.
In tasks that involve generating natural language, neural networks often map an input sequence of words to an output sequence of words. Facebook researchers used a similar technique on sequences of mathematical symbols, training a model to map math problems to math solutions.