{"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":"20d6f016-f9ec-56f0-98de-096012222d13","task_key":"test--20d6f016-f9ec-56f0-98de-096012222d13","task_revision_id":"1","upstream_id":"","short_description":"Mr. Taf takes his 12 students on a road trip. Since it takes two hours to walk…","config":"","split":"test","body":"{\"problem\":\"Mr. Taf takes his 12 students on a road trip. Since it takes two hours to walk from the school to the destination, he plans to use his car to expedite the journey. His car can take at most 4 students at a time, and travels 15 times as fast as traveling on foot. If they plan their trip optimally, what is the shortest amount of time it takes for them to all reach the destination, in minutes?\"}","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":[]}