{"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":"8ffdeaaf-a878-5293-be79-4018a29a9713","task_key":"test--8ffdeaaf-a878-5293-be79-4018a29a9713","task_revision_id":"1","upstream_id":"","short_description":"In how many distinct ways can you color each of the vertices of a tetrahedron…","config":"","split":"test","body":"{\"problem\":\"In how many distinct ways can you color each of the vertices of a tetrahedron either red, blue, or green such that no face has all three vertices the same color? (Two colorings are considered the same if one coloring can be rotated in three dimensions to obtain the other.)\"}","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":[]}