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 (CoRR, 2025)