Machine-Learning Mathematical Structures
arxiv.org