ML Anthology
Authors
Search
About
Zetzsche, Stefan
1 publications
NeurIPS
2025
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