TY  - RPRT
TI  - Formal Mathematics Statement Curriculum Learning
AU  - Stanislas Polu
AU  - Jesse Michael Han
AU  - Kunhao Zheng
AU  - Mantas Baksys
AU  - Igor Babuschkin
AU  - Ilya Sutskever
PY  - 2022
UR  - https://arxiv.org/abs/2202.01344
ID  - 2202.01344
ER  -