Merge curriculum learning dataset into this repo main branch?

Hi, seems that http://arxiv.org/abs/2202.01344 mentions that, they add a few hundred problems (which are easier in difficulty) at https://github.com/openai/miniF2F/tree/statement_curriculum_learning. However, it does not appear in this fork. Thus, maybe we should merge it / cherrypick it into the main branch, such that future users of minif2f can readily use it?