{"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":"d8f9b1a7-2a20-5db1-af57-a354aa584743","task_key":"default--test--10987","task_revision_id":"1","upstream_id":"10987","short_description":"Which of the given formulas of PL is the best symbolization of the following…","config":"default","split":"test","body":"{\"category\":\"philosophy\",\"options\":\"['H ⊃ [(B ∨ D) • L]', '(L ∨ B) • (D ⊃ H)', '[L ⊃ (B ∨ D)] • H', '(B ∨ D) ⊃ (H • L)', 'L ⊃ (B ∨ D • H)', '[(B ∨ D) • H] ⊃ L', 'L ⊃ [(B ∨ D) • H]', 'L ⊃ [(H • B) ∨ D]', '[(B ∨ D) ∨ H] ⊃ L', '(B ∨ D • H) ⊃ L']\",\"question\":\" Which of the given formulas of PL is the best symbolization of the following sentence?\\nA person is considered to have lived with you for all of the present year if the person was born or died in the present year and your home was this person's home for the entire time this person was alive.\",\"src\":\"ori_mmlu-formal_logic\"}","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":[]}