{"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":"95889522-b830-5897-930a-da89c7a4f22d","task_key":"test--95889522-b830-5897-930a-da89c7a4f22d","task_revision_id":"1","upstream_id":"","short_description":"Let us call a positive integer [i]pedestrian[/i] if all its decimal digits are…","config":"","split":"test","body":"{\"problem\":\"Let us call a positive integer [i]pedestrian[/i] if all its decimal digits are equal to 0 or 1. Suppose that the product of some two pedestrian integers also is pedestrian. Is it necessary in this case that the sum of digits of the product equals the product of the sums of digits of the factors?\"}","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":[]}