{"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":"578dd1ad-e916-52f6-879e-ffcbc0f31117","task_key":"test--578dd1ad-e916-52f6-879e-ffcbc0f31117","task_revision_id":"1","upstream_id":"","short_description":"Hagrid has 100 animals. Among these animals, each is either striped or spotted…","config":"","split":"test","body":"{\"problem\":\"Hagrid has 100 animals. Among these animals, each is either striped or spotted but not both, each has either wings or horns but not both, there are 28 striped animals with wings, there are 62 spotted animals, and there are 36 animals with horns. How many of Hagrid's spotted animals have horns?\"}","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":[]}