CLEVER: A Curated Benchmark for Formally Verified Code Generation - Thakur, Amitayush; Lee, Jasper; Tsoukalas, George; Sistla, Meghana; Zhao, Matthew; Zetzsche, Stefan; Durrett, Greg; Yue, Yisong; Chaudhuri, Swarat (Advances in Neural Information Processing Systems, 2025)