{"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":"1da1161f-d169-5e82-88a9-22f913c6d1ac","task_key":"test--1da1161f-d169-5e82-88a9-22f913c6d1ac","task_revision_id":"1","upstream_id":"","short_description":"A fat coin is one which, when tossed, has a $2 / 5$ probability of being heads,…","config":"","split":"test","body":"{\"problem\":\"A fat coin is one which, when tossed, has a $2 / 5$ probability of being heads, $2 / 5$ of being tails, and $1 / 5$ of landing on its edge. Mr. Fat starts at 0 on the real line. Every minute, he tosses a fat coin. If it's heads, he moves left, decreasing his coordinate by 1; if it's tails, he moves right, increasing his coordinate by 1. If the coin lands on its edge, he moves back to 0. If Mr. Fat does this ad infinitum, what fraction of his time will he spend at 0?\"}","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":[]}