datasets
Training and evaluation data, with the modality, task and licence stated up front. Listed live from the Hugging Face Hub.
tasktrove-bugsinpy-v4-oracle17-apptainer-v1
TaskTrove BugsInPy v4: oracle-verified Apptainer subset v1
This derived Harbor release contains 17 of 479 upstream tasks. Every included reference solution is grounded in the official BugsInPy patch and selected by verifier execution. The remaining tasks are retained in the exclusion ledger; they are not silently discarded.
The release targets offline, rootless Apptainer on aarch64. Validation evidence is stored under validation/. Do not describe the full 479-task source as… See the full description on the dataset page: https://huggingface.co/datasets/laion/tasktrove-bugsinpy-v4-oracle17-apptainer-v1.ierd-codeforces-subtle-bugs
IERD Codeforces subtle bugs
This public dataset contains 682 generated buggy C++ solutions for 682 Codeforces
problems. Each solution passes most tests in the frozen source corpus and fails from
one to five stored human or Hugging Face tests. The package also contains the frozen
manifest, provenance files, and aggregate reports from the final test generation
study.
Source and version
The problems, tests, and reference solution candidates come from… See the full description on the dataset page: https://huggingface.co/datasets/shivank21/ierd-codeforces-subtle-bugs.cuda-to-rocm-wavefront-bugs
CUDA → ROCm Wavefront Bug Dataset
170 expert-curated examples of GPU kernel bugs that survive mechanical hipify translation and only manifest on AMD MI300X hardware (gfx942, wavefront-64).
Built for the ROCmPort AI project — a multi-agent pipeline that ports and optimizes CUDA kernels for AMD GPUs.
Why This Dataset Exists
hipify-perl and hipify-clang do a great job of mechanical API renaming (CUDA → HIP). But they cannot detect semantic bugs caused by AMD's larger… See the full description on the dataset page: https://huggingface.co/datasets/tazwarrrr/cuda-to-rocm-wavefront-bugs.