A competitive-programming benchmark for verifiable code generation