VeriContest: A Competitive-Programming Benchmark for Verifiable Code Generation Paper • 2605.08553 • Published May 8 • 1