VeriContest
A Competitive-Programming Benchmark for Verifiable Code Generation
Official Leaderboard
VeriContest · 1,006 problems
Submissions are open.
Pending submissions are unranked.
Evaluation policy.
The full benchmark: 722 LeetCode and 284 Codeforces problems.
Loading submissions…
| RANK | MODEL | PASS@1 | TRAJS | ORG | DATE | RELEASE |
|---|---|---|---|---|---|---|
| Loading the submission registry… | ||||||
Model entries use a standardized prompting setting; Agent entries may plan, use tools, search, and repair within a declared budget. One attempt returns one final output per problem. Supporting task scores require separate task evaluations.