Thor

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

Automated Theorem ProvingonminiF2F-test
Pass@1· 2022-05-22
29.9
best: 52.94 (Kimina-Prover-Preview)
SOTA
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893
Mathematical ProofsonminiF2F-test
Pass@1· 2022-05-22
29.9
best: 52.94 (Kimina-Prover-Preview)
SOTA
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893
Automated Theorem ProvingonminiF2F-test
cumulative· 2022-05-22
29.9
best: 80.74 (Kimina-Prover-Preview)
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893
Mathematical ProofsonminiF2F-test
cumulative· 2022-05-22
29.9
best: 80.74 (Kimina-Prover-Preview)
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers arXiv:2205.10893