CLEVER: A Curated Benchmark for Formally Verified Code Generation

Item #:

085713-3857

Details

DOI: https://doi.org/10.52202/085713-3857
Author(s): Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
Pages: 128165-128199 (35 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 38
Date/Location: Held 2-7 December 2025, San Diego, California, USA and 30 November - 5 December 2025, Mexico City, Mexico.
Series: Advances in Neural Information Processing Systems 38
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)

DOI: https://doi.org/10.52202/085713-3857
Author(s): Amitayush Thakur, Jasper Lee, George Tsoukalas, Meghana Sistla, Matthew Zhao, Stefan Zetzsche, Greg Durrett, Yisong Yue, Swarat Chaudhuri
Pages: 128165-128199 (35 pages)
Format: PDF Paper Download
Conference: Advances in Neural Information Processing Systems 38
Date/Location: Held 2-7 December 2025, San Diego, California, USA and 30 November - 5 December 2025, Mexico City, Mexico.
Series: Advances in Neural Information Processing Systems 38
Publisher: Neural Information Processing Systems Foundation, Inc. (NeurIPS)