{"work":{"id":"a2b8fa24-3524-46cc-b33e-a2f51303d17d","openalex_id":null,"doi":null,"arxiv_id":"2109.00110","raw_key":null,"title":"MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics","authors":null,"authors_text":"Kunhao Zheng, Jesse Michael Han, and Stanislas Polu","year":2022,"venue":null,"abstract":null,"external_url":"https://arxiv.org/abs/2109.00110","cited_by_count":null,"metadata_source":"arxiv_reference","metadata_fetched_at":"2026-05-14T20:22:55.276953+00:00","pith_arxiv_id":null,"created_at":"2026-05-10T08:53:04.874859+00:00","updated_at":"2026-05-14T20:22:55.276953+00:00","title_quality_ok":true,"display_title":"Minif2f: a cross-system benchmark for formal olympiad-level mathematics.arXiv preprint arXiv:2109.00110","render_title":"Minif2f: a cross-system benchmark for formal olympiad-level mathematics.arXiv preprint arXiv:2109.00110"},"hub":{"state":{"work_id":"a2b8fa24-3524-46cc-b33e-a2f51303d17d","tier":"hub","tier_reason":"10+ Pith inbound or 1,000+ external citations","pith_inbound_count":13,"external_cited_by_count":null,"distinct_field_count":4,"first_pith_cited_at":"2024-07-31T17:57:25+00:00","last_pith_cited_at":"2026-05-13T08:33:15+00:00","author_build_status":"not_needed","summary_status":"needed","contexts_status":"needed","graph_status":"needed","ask_index_status":"not_needed","reader_status":"not_needed","recognition_status":"not_needed","updated_at":"2026-05-15T00:16:15.502377+00:00","tier_text":"hub"},"tier":"hub","role_counts":[],"polarity_counts":[],"runs":{},"summary":{},"graph":{},"authors":[]}}