@misc{indiciaee36deea95f2f,
  title = {MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics},
  author = {Kunhao Zheng and Jesse Michael Han and Stanislas Polu},
  year = {2022},
  url = {https://arxiv.org/abs/2109.00110},
  note = {Source identifier: 2109.00110}
}