Lean tidy
Reported on 6 benchmarks across 2 tasks · 1 paper
Note: results are matched by exact model name. Different papers may use the same name for different model variants.
Miscellaneous6 results
- Pass@1· 2021-08-3116.8best: 23.9 (Lean GPT-f)
- Pass@1· 2021-08-3118best: 52.94 (Kimina-Prover-Preview)
- cumulative· 2021-08-3118best: 80.74 (Kimina-Prover-Preview)
- Pass@1· 2021-08-3116.8best: 23.9 (Lean GPT-f)
- Pass@1· 2021-08-3118best: 52.94 (Kimina-Prover-Preview)
- cumulative· 2021-08-3118best: 80.74 (Kimina-Prover-Preview)