GitHub repository: lupantech/dl4math
Description: Resources of deep learning for mathematical reasoning (DL4MATH).