FluffyAIcode/Kakeya-OProver-Training download history
FluffyAIcode/Kakeya-OProver-Training is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 36 times (24 in the last 7 days), and 134 times in total. It ranks #237,432 among datasets by monthly downloads.
Kakeya OProver Training Apache-2.0 training and evaluation assets for the four-stage Kakeya OProver LoRA journey. Configs and split counts sft-90: 63 train / 9 validation / 18 holdout sft-1000: 700 train / 100 validation / 200 holdout dpo-2000: 1,400 train / 200 valida