29 lines
875 B
Python

"""AIME 2025 (community-standard mirror: yentinglin/aime_2025)."""
from ..sample import Sample
from ..registry import register_dataset
from ..spec import DatasetSpec
@register_dataset(
DatasetSpec(
name='aime25',
source='yentinglin/aime_2025', # https://huggingface.co/datasets/yentinglin/aime_2025
split='train',
gen_config={'temperature': 1.0, 'max_tokens': 8192},
prompt_style='aime_es', # es MathArena template: instruction-first,
task_type='math',
tags=['math', 'competition'],
description='AIME 2025, 30 problems (integer answers 000-999).',
)
)
def aime25():
def to_sample(record: dict) -> Sample:
return Sample(
input=record['problem'],
target=str(record['answer']).strip(),
metadata={'id': record.get('id')},
)
return to_sample