Verified reasoning data.

Every row is a self-contained problem — solved, verified against thousands of test cases, and bound to a cryptographic proof that the answer is correct.

Catalog

15 datasets
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows969.6 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows960.6 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows965.7 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows964.2 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows962.1 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows955.0 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows965.9 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows958.2 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows970.8 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows963.4 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows970.1 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows975.9 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows962.6 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows971.2 KB
Debug

Debugging Traces

Broken code paired with the defect location and the minimal fix.

200 rows966.2 KB

Want to use these? Sign up to get started →