{"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":"9ba7e5d7-444b-58f8-8ca7-8f32d368deec","task_key":"test--9ba7e5d7-444b-58f8-8ca7-8f32d368deec","task_revision_id":"1","upstream_id":"","short_description":"Let \\(A B C\\) be an acute triangle with circumcenter \\(O\\) such that \\(A B=4, A…","config":"","split":"test","body":"{\"problem\":\"Let \\\\(A B C\\\\) be an acute triangle with circumcenter \\\\(O\\\\) such that \\\\(A B=4, A C=5\\\\), and \\\\(B C=6\\\\). Let \\\\(D\\\\) be the foot of the altitude from \\\\(A\\\\) to \\\\(B C\\\\), and \\\\(E\\\\) be the intersection of \\\\(A O\\\\) with \\\\(B C\\\\). Suppose that \\\\(X\\\\) is on \\\\(B C\\\\) between \\\\(D\\\\) and \\\\(E\\\\) such that there is a point \\\\(Y\\\\) on \\\\(A D\\\\) satisfying \\\\(X Y \\\\parallel A O\\\\) and \\\\(Y O \\\\perp A X\\\\). Determine the length of \\\\(B X\\\\).\"}","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":[]}