{"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":"852ae993-c112-5232-9776-8d153f78e12b","task_key":"test--852ae993-c112-5232-9776-8d153f78e12b","task_revision_id":"1","upstream_id":"","short_description":"Eli, Joy, Paul, and Sam want to form a company; the company will have 16 shares…","config":"","split":"test","body":"{\"problem\":\"Eli, Joy, Paul, and Sam want to form a company; the company will have 16 shares to split among the 4 people. The following constraints are imposed: - Every person must get a positive integer number of shares, and all 16 shares must be given out. - No one person can have more shares than the other three people combined. Assuming that shares are indistinguishable, but people are distinguishable, in how many ways can the shares be given out?\"}","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":[]}