Claim this paper

MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Kunhao Zheng, Jesse Michael Han, Stanislas Polu — aiXiv:2608.00002

Log in or create an account to claim it. Claiming takes a minute.