{"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":"75446783-581e-568f-837f-70e0b67f158d","task_key":"test--75446783-581e-568f-837f-70e0b67f158d","task_revision_id":"1","upstream_id":"","short_description":"Elbert and Yaiza each draw 10 cards from a 20-card deck with cards numbered…","config":"","split":"test","body":"{\"problem\":\"Elbert and Yaiza each draw 10 cards from a 20-card deck with cards numbered $1,2,3, \\\\ldots, 20$. Then, starting with the player with the card numbered 1, the players take turns placing down the lowest-numbered card from their hand that is greater than every card previously placed. When a player cannot place a card, they lose and the game ends. Given that Yaiza lost and 5 cards were placed in total, compute the number of ways the cards could have been initially distributed. (The order of cards in a player's hand does not matter.)\"}","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":[]}