2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Amitayush Thakur, Jasper Lee, George Tsoukalas +6
We introduce CLEVER, a high-quality, curated benchmark of 161 problems for end-to-end verified code generation in Lean. Each problem consists of (1) the task of ge…