CLEVER
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Theorem Proving | CLEVER human_eval | Solved Tests (Correct)27 | 8 | |
| Theorem Proving | CLEVER (examples) | Solved Tests (Correct Entries)5 | 8 | |
| Code Verification | CLEVER | Success Count70 | 8 |
Showing 3 of 3 rows