🧑🔬 Kunhao Zheng — papers of 2021 — 1 paper, the most cited first1 paper · all years of Kunhao ZhengMiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110Kunhao Zheng, Jesse Michael Han, Stanislas Polu2021 · 257 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/kunhao-zheng/year/2021/