DSP (62B Minerva informal)
Reported on 2 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.
Miscellaneous2 results
- Pass@100· 2022-10-21SOTA43.9best: 57 (LEGO-Prover ChatGPT)
- Pass@100· 2022-10-21SOTA43.9best: 57 (LEGO-Prover ChatGPT)