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

14 datasets
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows932.5 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.6 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.3 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows929.5 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows932.0 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows932.7 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.2 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows929.8 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.9 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows930.2 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows930.8 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.8 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows931.9 KB
Optimize

Code Optimization Traces

Working implementations paired with the faster version and the reasoning behind the speedup.

200 rows930.9 KB

Want to use these? Sign up to get started →