formalmathatepfl/feedback_data_training

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-derived deep repairs 20,129 12.50% 436 → 1,825 This adds 9,585 distinct checked repair examples while preserving every legacy distinct row and every one-shot row's multiplicity. The new examples… See the full description on the dataset page: https://huggingface.co/datasets/formalmathatepfl/feedback_data_training.

<iframe src="https://silytics.si/embed/item/2eb85ae2-c64b-43bb-b886-19e3ca0d0073" 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 16 October 2026. Licenses and terms of the original apply to the work itself. Not financial, legal or professional advice.