Alrithm

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

13 datasets
All84Solve14Debug15Optimize14Explain14Review13
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows830.1 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows817.2 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows823.4 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows829.9 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows822.2 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows817.9 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows823.6 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows818.5 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows828.1 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows827.8 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows819.8 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows821.5 KB
Sign up to use →
Review

Correctness Reviews

Claims about code, judged correct or incorrect with evidence.

200 rows826.7 KB
Sign up to use →

Want to use these? Sign up to get started →