{"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":"69dd5988-8564-566f-bb2b-70194df26102","task_key":"test--69dd5988-8564-566f-bb2b-70194df26102","task_revision_id":"1","upstream_id":"","short_description":"Pick a subset of at least four of the following geometric theorems, order them…","config":"","split":"test","body":"{\"problem\":\"Pick a subset of at least four of the following geometric theorems, order them from earliest to latest by publication date, and write down their labels (a single capital letter) in that order. If a theorem was discovered multiple times, use the publication date corresponding to the geometer for which the theorem is named. C. (Ceva) Three cevians $A D, B E, C F$ of a triangle $A B C$ are concurrent if and only if $\\\\frac{B D}{D C} \\\\frac{C E}{E A} \\\\frac{A F}{F B}=1$. E. (Euler) In a triangle $A B C$ with incenter $I$ and circumcenter $O$, we have $I O^{2}=R(R-2 r)$, where $r$ is the inradius and $R$ is the circumradius of $A B C$. H. (Heron) The area of a triangle $A B C$ is $\\\\sqrt{s(s-a)(s-b)(s-c)}$, where $s=\\\\frac{1}{2}(a+b+c)$. M. (Menelaus) If $D, E, F$ lie on lines $B C, C A, A B$, then they are collinear if and only if $\\\\frac{B D}{D C} \\\\frac{C E}{E A} \\\\frac{A F}{F B}=$ -1, where the ratios are directed. P. (Pascal) Intersections of opposite sides of cyclic hexagons are collinear. S. (Stewart) Let $A B C$ be a triangle and $D$ a point on $B C$. Set $m=B D, n=C D, d=A D$. Then $m a n+d a d=b m b+c n c$ V. (Varignon) The midpoints of the sides of any quadrilateral are the vertices of a parallelogram. If your answer is a list of $4 \\\\leq N \\\\leq 7$ labels in a correct order, your score will be $(N-2)(N-3)$. Otherwise, your score will be zero.\"}","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":[]}