TY  - RPRT
TI  - Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
AU  - Quinn Dougherty
AU  - Ronak Mehta
PY  - 2025
UR  - https://arxiv.org/abs/2502.05714
ID  - 2502.05714
ER  -