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

from dataclasses import dataclass
from typing import ClassVar, Optional

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


@register_schema
@dataclass
class UwunionLogicianV2Record(DatasetSchema):
    DATASET_NAME: ClassVar[str] = "uwunion/logician-v2"
    CONFIG_NAME: ClassVar[Optional[str]] = None
    rid: int
    id: int
    instruction: str
    response: str
    source: str
    instruction_length: int
    response_length: int
    n_formulas: int
    n_forall: int
    n_exists: int
