{"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":"7998ae20-6ad2-5344-a981-ac616ee609ba","task_key":"test--7998ae20-6ad2-5344-a981-ac616ee609ba","task_revision_id":"1","upstream_id":"","short_description":"Allen and Yang want to share the numbers \\(1,2,3,4,5,6,7,8,9,10\\). How many ways…","config":"","split":"test","body":"{\"problem\":\"Allen and Yang want to share the numbers \\\\(1,2,3,4,5,6,7,8,9,10\\\\). How many ways are there to split all ten numbers among Allen and Yang so that each person gets at least one number, and either Allen's numbers or Yang's numbers sum to an even 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":[]}