{"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":"dda63627-3704-5798-9cb7-7f20733659ba","task_key":"test--dda63627-3704-5798-9cb7-7f20733659ba","task_revision_id":"1","upstream_id":"","short_description":"Suppose that $PQRS TUVW$ is a regular octagon. There are 70 ways in which four…","config":"","split":"test","body":"{\"problem\":\"Suppose that $PQRS TUVW$ is a regular octagon. There are 70 ways in which four of its sides can be chosen at random. If four of its sides are chosen at random and each of these sides is extended infinitely in both directions, what is the probability that they will meet to form a quadrilateral that contains the octagon?\"}","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":[]}