{"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":"467b4383-5a8a-5f4f-8f85-602e3f328136","task_key":"test--467b4383-5a8a-5f4f-8f85-602e3f328136","task_revision_id":"1","upstream_id":"","short_description":"Let \\(ABCD\\) be a square of side length 2. Let points \\(X, Y\\), and \\(Z\\) be…","config":"","split":"test","body":"{\"problem\":\"Let \\\\(ABCD\\\\) be a square of side length 2. Let points \\\\(X, Y\\\\), and \\\\(Z\\\\) be constructed inside \\\\(ABCD\\\\) such that \\\\(ABX, BCY\\\\), and \\\\(CDZ\\\\) are equilateral triangles. Let point \\\\(W\\\\) be outside \\\\(ABCD\\\\) such that triangle \\\\(DAW\\\\) is equilateral. Let the area of quadrilateral \\\\(WXYZ\\\\) be \\\\(a+\\\\sqrt{b}\\\\), where \\\\(a\\\\) and \\\\(b\\\\) are integers. Find \\\\(a+b\\\\).\"}","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":[]}