Decomposing the Enigma
Reported on 4 benchmarks across 2 tasks · 1 paper · 4 SOTA
Note: results are matched by exact model name. Different papers may use the same name for different model variants.
Miscellaneous4 results
- Pass@100· 2023-05-25SOTA45.5best: 52.5 (ProofAug)
- cumulative· 2023-05-25SOTA45.5best: 80.74 (Kimina-Prover-Preview)
- Pass@100· 2023-05-25SOTA45.5best: 52.5 (ProofAug)
- cumulative· 2023-05-25SOTA45.5best: 80.74 (Kimina-Prover-Preview)