This dataset accompanies the paper "VeriContest: A Competitive-Programming
Benchmark for Verifiable Code Generation"
(arXiv:2605.08553).
VeriContest is a benchmark of 946
competitive-programming problems from LeetCode and Codeforces for verifiable
code generation in Rust with Verus.
Each problem contains a natural-language problem description, formal
specification, Rust code, proofs, positive and negative test cases, and
metadata. The benchmark supports both isolated… See the full description on the dataset page:
https://huggingface.co/datasets/Gax-c/VeriContest.
