# Auto-generated by schemas-hf. Do not edit manually.

from dataclasses import dataclass
from typing import Any, ClassVar, Optional

from schemas_hf.base import DatasetSchema
from schemas_hf.registry import register_schema


@register_schema
@dataclass
class UwunionMathmaxRecord(DatasetSchema):
    DATASET_NAME: ClassVar[str] = "uwunion/mathmax"
    CONFIG_NAME: ClassVar[Optional[str]] = None
    id: str
    equiv_class_id: str
    world: str
    expr: str
    srepr: str
    canonical: str
    canon_srepr: str
    size: int
    depth: int
    vars: list[str]
    head: str
    head_hist: Any
    unicode: str
    latex: str
    tokens: list[str]
    anon_srepr: str
    difficulty: str
    experimental: bool
    source: str
    step_type: str
    parent_id: Any
    rule_name: str
    value_symbolic: str
    value_numeric: Any
    axiom_target: str
    task_type: str
    target_bool: bool
