Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
机构 * Beneficial AI Foundation(有益人工智能基金会)
专题命中 代码生成 :code generation(title);program synthesis(abstract);分类 cs.SE、cs.AI、cs.LG
Comments 8 pages, to appear at the 2025LLM4Code Workshop at ICSE 2025