Quinn Dougherty, Ronak Mehta: Proving the Coding Interview: A Benchmark for Formally Verified Code Generation. LLM4Code@ICSE 2025: 72-79