ChristianZ97/

NuminaMath-LEAN-satp-buffer-ablation

Frozen baseline buffer for ablation experiments. Captured 2026-05-15 from ChristianZ97/NuminaMath-LEAN-satp-buffer before downstream ablation runs overwrite it.

	Pinned reproduction handles




	

Component Pin

HF dataset (this repo) tag v1-pre-ablation-2026-05-15 / sha aaccc7f8e152c65187bd12bc883209c21e46be77

HF dataset (source -buffer) tag v1-post-push-2026-05-15 / sha 0def574b4cf01cc741838b752fe41b8b71c24562

HF checkpoint… See the full description on the dataset page: https://huggingface.co/datasets/ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation.