{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"omni-math","formal_name":"Omni-MATH","introduction":"Omni-MATH evaluates mathematical reasoning on Olympiad-level problems. Its official dataset contains 4,428 problems accompanied by domain and difficulty information.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","indexing_mode":"index","profile":{"resources":[],"task_format":"","scoring":"","metric":"","size":"","answer_access":"","license":"","citation":"","maintainer":"","released":"","why_hard":"","related":[],"history":"","construction":"","limitations":"","saturation":"","scores":[]}},"task_id":"05f30f73-249f-55fe-bdff-77bbec2305b1","task_key":"test--05f30f73-249f-55fe-bdff-77bbec2305b1","task_revision_id":"1","upstream_id":"","short_description":"Let $n \\ge 3$ be an integer. Rowan and Colin play a game on an $n \\times n$ grid…","config":"","split":"test","body":"{\"problem\":\"Let $n \\\\ge 3$ be an integer. Rowan and Colin play a game on an $n \\\\times n$ grid of squares, where each square is colored either red or blue. Rowan is allowed to permute the rows of the grid, and Colin is allowed to permute the columns of the grid. A grid coloring is $orderly$ if:\\nno matter how Rowan permutes the rows of the coloring, Colin can then permute the columns to restore the original grid coloring; and\\nno matter how Colin permutes the column of the coloring, Rowan can then permute the rows to restore the original grid coloring;\\nIn terms of $n$ , how many orderly colorings are there?\"}","display_format":"math","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/KbsdJames/Omni-MATH","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}