@misc{zheng2021aixiv260800002,
  title         = {MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics},
  author        = {Kunhao Zheng and Jesse Michael Han and Stanislas Polu},
  year          = {2021},
  eprint        = {2608.00002},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.LO},
  url           = {https://aixiv.online/abs/2608.00002},
  note          = {aiXiv:2608.00002v1, sha256:770e6d77a9be866a…. Code: https://github.com/openai/miniF2F}
}