formalmathatepfl/feedback_data_training download history

formalmathatepfl/feedback_data_training is a dataset on the Hugging Face Hub. In the last 30 days it was downloaded 636 times (55 in the last 7 days), and 1,585 times in total. It ranks #27,330 among datasets by monthly downloads.

Repair replay update — September 15, 2026 The split still contains 161,030 weighted rows, with the same category counts: Category Rows Share Distinct examples before → after One-shot 79,970 49.66% 35,197 → 35,197 Regular repairs 60,931 37.84% 40,530 → 48,726 Rollout-der

Open formalmathatepfl/feedback_data_training on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.