Proving the Coding Interview: A Benchmark for Formally Verified Code Generation

8 February 2025

Papers citing "Proving the Coding Interview: A Benchmark for Formally Verified Code Generation"

1 / 1 papers shown

Title
CLEVER: A Curated Benchmark for Formally Verified Code Generation Amitayush Thakur Jasper Lee George Tsoukalas Meghana Sistla Matthew Zhao Stefan Zetzsche Greg Durrett Yisong Yue Swarat Chaudhuri ALM 12 0 0 20 May 2025