Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.13938
Cited By
CLEVER: A Curated Benchmark for Formally Verified Code Generation
20 May 2025
Amitayush Thakur
Jasper Lee
George Tsoukalas
Meghana Sistla
Matthew Zhao
Stefan Zetzsche
Greg Durrett
Yisong Yue
Swarat Chaudhuri
ALM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"CLEVER: A Curated Benchmark for Formally Verified Code Generation"
Title
No papers
