A arxiv.org A neural network solves and generates mathematics problems by program synthesis 209 points geox 4 years ago 86 comments
