In this new paper 'A Neural Network Solves and Generates Mathe | MLI Premium
In this new paper "A Neural Network Solves and Generates Mathematics Problems by Program Synthesis: Calculus, Differential Equations, Linear Algebra, and More", a research team from MIT, Columbia University, Harvard University and the University of Waterloo, proposes a neural network that can solve university-level mathematics problems by turning questions into programming tasks, i.e. program synthesis.
Link: https://arxiv.org/abs/2112.15594