Cite
Notes
Only stored in your browser.
Attribution
CLEVER: A Curated Benchmark for Formally Verified Code Generation
arXiv 2025
from 1 papers
Amitayush Thakur
George Tsoukalas
Greg Durrett
Jasper Lee
Meghana Sistla
Stefan Zetzsche
Swarat Chaudhuri
Yisong Yue