LEGO-Prover ChatGPT

Reported on 6 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.

Miscellaneous6 results

Automated Theorem ProvingonminiF2F-valid
Pass@100· 2023-10-01
57
SOTA
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656
Mathematical ProofsonminiF2F-valid
Pass@100· 2023-10-01
57
SOTA
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656
Automated Theorem ProvingonminiF2F-test
Pass@100· 2023-10-01
47.1
best: 52.5 (ProofAug)
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656
Automated Theorem ProvingonminiF2F-test
cumulative· 2023-10-01
47.1
best: 80.74 (Kimina-Prover-Preview)
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656
Mathematical ProofsonminiF2F-test
Pass@100· 2023-10-01
47.1
best: 52.5 (ProofAug)
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656
Mathematical ProofsonminiF2F-test
cumulative· 2023-10-01
47.1
best: 80.74 (Kimina-Prover-Preview)
LEGO-Prover: Neural Theorem Proving with Growing Libraries arXiv:2310.00656