{"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":"fb1abfb4-699d-5912-b4f7-ad7557da42d6","task_key":"test--fb1abfb4-699d-5912-b4f7-ad7557da42d6","task_revision_id":"1","upstream_id":"","short_description":"Some people like to write with larger pencils than others. Ed, for instance,…","config":"","split":"test","body":"{\"problem\":\"Some people like to write with larger pencils than others. Ed, for instance, likes to write with the longest pencils he can find. However, the halls of MIT are of limited height $L$ and width $L$. What is the longest pencil Ed can bring through the halls so that he can negotiate a square turn?\"}","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":[]}