Frozen backup of the pre-2026-05-03 schema of ChristianZ97/NuminaMath-LEAN-satp-buffer. Preserved for reproducibility of pre-v2 SATP runs. New work uses the v2 repo.

	v1 schema (one row per (config, reward) pair)

Column Type

uuid string

config_uuid string

formal_statement string

goal_state string

tactic_string string

reward float

lemma_names list[string]

lemma_scores list[float]

	Why the migration… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup.