{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"mmlu-pro","formal_name":"MMLU-Pro","introduction":"MMLU-Pro rebuilds MMLU with ten answer options instead of four and removes items that no longer separate models. Questions span fourteen academic and professional subjects.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://huggingface.co/datasets/TIGER-Lab/MMLU-Pro","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":"689fe69e-5430-59d1-abbe-9af5ea4fa27c","task_key":"default--test--8844","task_revision_id":"1","upstream_id":"8844","short_description":"Let M be the set of bounded functions (i.e. \\sup_{x\\in[a,b]}|f(x)|<\\infty) in…","config":"default","split":"test","body":"{\"category\":\"math\",\"options\":\"['[0, 2]', '[0, 3]', '[1, 3]', '[0, 1]', '[1, 1]', '[1, 0]', '[1, 2]', '[0, 4]', '[1, 4]', '[0, 0]']\",\"question\":\"Let M be the set of bounded functions (i.e. \\\\sup_{x\\\\in[a,b]}|f(x)|<\\\\infty) in C[0,1]. Is the set ${F(x)=\\\\int_0^x f(t) dt | f \\\\in M }$ a sequentially compact set? Answer 1 for yes and 0 for no. Furthermore, it can be proved using 1. Arzelà-Ascoli theorem, 2. Riesz representation theorem, 3. Banach fixed point theorem, 4. None of the above. Return the answers of the two questions in a list. For example, if you think the answer is no and Riesz representation theorem, then return [0,2].\",\"src\":\"theoremQA-Math\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://huggingface.co/datasets/TIGER-Lab/MMLU-Pro","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}