Formal Mathematics Statement Curriculum Learning https://arxiv.org/abs/2202.01344