@misc{indiciae3d9aa111dc65,
  title = {CLEVER: A Curated Benchmark for Formally Verified Code Generation},
  author = {Amitayush Thakur and Jasper Lee and George Tsoukalas and Meghana Sistla and Matthew Zhao and Stefan Zetzsche and Greg Durrett and Yisong Yue and Swarat Chaudhuri},
  year = {2025},
  url = {https://arxiv.org/abs/2505.13938},
  note = {Source identifier: 2505.13938}
}