datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
VeriLoop-Structural-Repair-Verified
VLR-StructuralRepair v1.0.0 — non-regressive repair of real semantic defects
Evidence-convergent supervision for function-level semantic repair under a
hidden set of protected obligations. A candidate is positive only when it
preserves every already-satisfied obligation and strictly repairs at least
one. Aggregate improvement that breaks a protected obligation is a negative,
however far the total failure count drops.
The previous generation of this dataset… See the full description on the dataset page: https://huggingface.co/datasets/tsinghua-sigs-robot-lab/VeriLoop-Structural-Repair-Verified.polaris-53k-repaired
POLARIS-53K, label-repaired
49,289 of the 53,291 rows in
POLARIS-Project/Polaris-Dataset-53K,
with 4,580 stored answers corrected and 4,002 rows removed as unrepairable.
Measurements on the source set put its bad-label rate at roughly 15.9%
[14.3, 17.6] (two independent detectors agreeing on a 2,000-row sample).
Mislabelled rows are not uniformly distributed: they concentrate in the problems
models fail, which is exactly where a difficulty-calibration pipeline looks.… See the full description on the dataset page: https://huggingface.co/datasets/joanvelja/polaris-53k-repaired.