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.VeriLoop-Governed-Recurrence-Verified
VLR-Recurrence-Verified
VLR-Recurrence-Verified is a synthetic-data construction release for studying
evidence-convergent program repair. It operationalizes a protected partial order:
a candidate is positive only when it preserves every already-satisfied
obligation and strictly improves at least one unresolved obligation.
Scale
Split
Tasks
Families
Transitions
Balanced pairs
Certified finals
Train
3,500
28
12,250
49,000
3,500
Validation
750
10
2,623… See the full description on the dataset page: https://huggingface.co/datasets/tsinghua-sigs-robot-lab/VeriLoop-Governed-Recurrence-Verified.Robot.E.Howard.v2
Dataset Card for Robot E. Howard v2
This is a dataset meant for training LLMs based on the works of the fantastic Robert E Howard.
Dataset Details
Dataset Description
Robert E. Howard was a fantastic author with vivid and energetic prose.
The format of this dataset mimics that found in gutenberg-dpo-v0.1, so it SHOULD be useful as a drop in addition to or replacement for that set.
And I prepared the data in much the same way. I split all of the stories into… See the full description on the dataset page: https://huggingface.co/datasets/leftyfeep/Robot.E.Howard.v2.