DSP (540B Minerva informal)
Reported on 4 benchmarks across 2 tasks · 1 paper · 2 SOTA
Note: results are matched by exact model name. Different papers may use the same name for different model variants.
Miscellaneous4 results
- Pass@100· 2022-10-21SOTA38.9best: 52.5 (ProofAug)
- Pass@100· 2022-10-21SOTA38.9best: 52.5 (ProofAug)
- cumulative· 2022-10-2138.9best: 80.74 (Kimina-Prover-Preview)
- cumulative· 2022-10-2138.9best: 80.74 (Kimina-Prover-Preview)