{"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":"669d98cd-6d39-50cb-b38b-1fa996ca0302","task_key":"test--669d98cd-6d39-50cb-b38b-1fa996ca0302","task_revision_id":"1","upstream_id":"","short_description":"The $GEB$ sequence $1,3,7,12, \\ldots$ is defined by the following properties:…","config":"","split":"test","body":"{\"problem\":\"The $GEB$ sequence $1,3,7,12, \\\\ldots$ is defined by the following properties: (i) the GEB sequence is increasing (that is, each term is larger than the previous term), (ii) the sequence formed using the differences between each pair of consecutive terms in the GEB sequence (namely, the sequence $2,4,5, \\\\ldots$) is increasing, and (iii) each positive integer that does not occur in the GEB sequence occurs exactly once in the sequence of differences in (ii). What is the 100th term of the GEB sequence?\"}","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":[]}