{"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":"c5e9a602-612a-5c8c-ad48-90ef1a2bb028","task_key":"test--c5e9a602-612a-5c8c-ad48-90ef1a2bb028","task_revision_id":"1","upstream_id":"","short_description":"All positive integers whose binary representations (excluding leading zeroes)…","config":"","split":"test","body":"{\"problem\":\"All positive integers whose binary representations (excluding leading zeroes) have at least as many 1's as 0's are put in increasing order. Compute the number of digits in the binary representation of the 200th number.\"}","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":[]}