Resources of deep learning for mathematical reasoning (DL4MATH). - View it on GitHub