TY  - RPRT
TI  - VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation
AU  - Zichen Xie
AU  - Mrigank Pawagi
AU  - Yuxin Liu
AU  - Aaditi Rai
AU  - Lize Shao
AU  - John Berberian Jr.
AU  - Sicong Che
AU  - Wenxi Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.08553
ID  - 2605.08553
ER  -