Cite
Notes
Only stored in your browser.
Attribution
CLEVER: A Curated Benchmark for Formally Verified Code Generation
arXiv 2025
PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition
arXiv 2024
from 2 papers
George Tsoukalas
Jasper Lee
Swarat Chaudhuri
Greg Durrett
Jimmy Xin
John Jennings
Matthew Zhao
Meghana Sistla
Michael Jennings
Michelle Ding