{"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":"016ee311-57b0-5d18-ba8c-3e1df4e25e70","task_key":"test--016ee311-57b0-5d18-ba8c-3e1df4e25e70","task_revision_id":"1","upstream_id":"","short_description":"Kelvin the Frog has a pair of standard fair 8-sided dice (each labelled from 1…","config":"","split":"test","body":"{\"problem\":\"Kelvin the Frog has a pair of standard fair 8-sided dice (each labelled from 1 to 8). Alex the sketchy Kat also has a pair of fair 8-sided dice, but whose faces are labelled differently (the integers on each Alex's dice need not be distinct). To Alex's dismay, when both Kelvin and Alex roll their dice, the probability that they get any given sum is equal! Suppose that Alex's two dice have $a$ and $b$ total dots on them, respectively. Assuming that $a \\\\neq b$, find all possible values of $\\\\min \\\\{a, b\\\\}$.\"}","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":[]}