formalmathatepfl/ape_training

APE training data This dataset is derived from the train split of formalmathatepfl/sft_classic at revision 21027890d0208fdc3881bb79b969e7bdf01dabbf. All rows with proof_repair == true were removed. The source contained 2,678,749 train rows; 879,381 repair rows were excluded, leaving 1,799,368 examples. The source test and sft_replay_classic splits are not included. Each question requests an informal solution using [Problem Restatement], [Useful Observations], [Reasoning Path]… See the full description on the dataset page: https://huggingface.co/datasets/formalmathatepfl/ape_training.

<iframe src="https://silytics.si/embed/item/331b0b25-1930-49fc-bfa0-536d2e87aa44" width="420" height="190" style="border:0" loading="lazy" title="Silytics entry"></iframe>

Silytics shows public metadata from Hugging Face and links to the original. Information may be incomplete or out of date. Last refreshed 17 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.