TY  - RPRT
TI  - CLEVER: A Curated Benchmark for Formally Verified Code Generation
AU  - Amitayush Thakur
AU  - Jasper Lee
AU  - George Tsoukalas
AU  - Meghana Sistla
AU  - Matthew Zhao
AU  - Stefan Zetzsche
AU  - Greg Durrett
AU  - Yisong Yue
AU  - Swarat Chaudhuri
PY  - 2025
UR  - https://arxiv.org/abs/2505.13938
ID  - 2505.13938
ER  -