TasksSotADatasetsPapersMethodsSubmitAbout
Papers With Code 2

A community resource for machine learning research: papers, code, benchmarks, and state-of-the-art results.

Explore

Notable BenchmarksAll SotADatasetsPapersMethods

Community

Submit ResultsAbout

Data sourced from the PWC Archive (CC-BY-SA 4.0). Built by the community, for the community.

Models/Lean GPT-f

Lean GPT-f

Reported on 10 benchmarks across 2 tasks · 1 paper · 8 SOTA

Note: results are matched by exact model name. Different papers may use the same name for different model variants.

Miscellaneous10 results

  • Automated Theorem ProvingonminiF2F-valid
    Pass@1· uses extra data· 2021-08-31
    23.9
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Automated Theorem ProvingonminiF2F-valid
    Pass@8· uses extra data· 2021-08-31
    29.3
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Automated Theorem ProvingonminiF2F-test
    Pass@32· 2021-08-31
    29.2
    best: 68.85 (Kimina-Prover-Preview)
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Automated Theorem ProvingonminiF2F-test
    cumulative· 2021-08-31
    29.2
    best: 80.74 (Kimina-Prover-Preview)
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Mathematical ProofsonminiF2F-valid
    Pass@1· uses extra data· 2021-08-31
    23.9
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Mathematical ProofsonminiF2F-valid
    Pass@8· uses extra data· 2021-08-31
    29.3
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Mathematical ProofsonminiF2F-test
    Pass@32· 2021-08-31
    29.2
    best: 68.85 (Kimina-Prover-Preview)
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Mathematical ProofsonminiF2F-test
    cumulative· 2021-08-31
    29.2
    best: 80.74 (Kimina-Prover-Preview)
    SOTA
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Automated Theorem ProvingonminiF2F-test
    Pass@1· 2021-08-31
    24.6
    best: 52.94 (Kimina-Prover-Preview)
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110
  • Mathematical ProofsonminiF2F-test
    Pass@1· 2021-08-31
    24.6
    best: 52.94 (Kimina-Prover-Preview)
    MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicsarXiv:2109.00110