TY  - RPRT
TI  - MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
AU  - Kunhao Zheng
AU  - Jesse Michael Han
AU  - Stanislas Polu
PY  - 2022
UR  - https://arxiv.org/abs/2109.00110
ID  - 2109.00110
ER  -