{"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":"c317b313-ca63-5cc7-9f42-04a35f1b188b","task_key":"test--c317b313-ca63-5cc7-9f42-04a35f1b188b","task_revision_id":"1","upstream_id":"","short_description":"Consider a $4 \\times 4$ grid of squares, each of which are originally colored…","config":"","split":"test","body":"{\"problem\":\"Consider a $4 \\\\times 4$ grid of squares, each of which are originally colored red. Every minute, Piet can jump on one of the squares, changing the color of it and any adjacent squares (two squares are adjacent if they share a side) to blue. What is the minimum number of minutes it will take Piet to change the entire grid to blue?\"}","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":[]}