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.

Get started

Catalog

14 datasets

All84 Solve14 Debug15 Optimize14 Explain14 Review13

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.1 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.1 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.1 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.1 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows1.9 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.1 MB

Explain

Behavior Explanations

Working code with a traced walkthrough of what it computes and why.

200 rows2.0 MB

Want to use these? Sign up to get started →