{"kind":"task","effective_mode":"full","benchmark":{"kind":"benchmark","effective_mode":"full","slug":"mmlu","formal_name":"MMLU","introduction":"MMLU asks four-way multiple-choice questions across 57 subjects, from elementary material to professional-level examinations. Since 2020 it has been the most widely cited single reference point for general capability.","introduction_ja":"","introduction_en":"","category":"Category not supplied","task_count":null,"acquisition_status":"Acquisition status not supplied","official_url":"https://github.com/hendrycks/test","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":"c0e82e90-7558-5e5e-bf4c-3d7e4e2f5379","task_key":"all--test--c0e82e90-7558-5e5e-bf4c-3d7e4e2f5379","task_revision_id":"1","upstream_id":"","short_description":"Which of the given formulas of PL is the best symbolization of the following…","config":"all","split":"test","body":"{\"choices\":\"['[(B ∨ D) • H] ⊃ L', '[L ⊃ (B ∨ D)] • H', 'L ⊃ [(B ∨ D) • H]', '(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.\",\"subject\":\"formal_logic\"}","display_format":"text","language":"","answer_status":"published","assets":[],"source_url":"https://github.com/hendrycks/test","history":"initial import","indexing_mode":"index","subproblems":[],"grids":[]}