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/Kimina-Prover-Preview

Kimina-Prover-Preview

Reported on 10 benchmarks across 2 tasks · 1 paper · 10 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-test
    Pass@1· uses extra data· 2025-04-15
    52.94
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Automated Theorem ProvingonminiF2F-test
    Pass@32· uses extra data· 2025-04-15
    68.85
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Automated Theorem ProvingonminiF2F-test
    cumulative· uses extra data· 2025-04-15
    80.74
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Automated Theorem ProvingonminiF2F-test
    pass@1024· uses extra data· 2025-04-15
    77.87
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Automated Theorem ProvingonminiF2F-test
    pass@8192· uses extra data· 2025-04-15
    80.74
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Mathematical ProofsonminiF2F-test
    Pass@1· uses extra data· 2025-04-15
    52.94
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Mathematical ProofsonminiF2F-test
    Pass@32· uses extra data· 2025-04-15
    68.85
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Mathematical ProofsonminiF2F-test
    cumulative· uses extra data· 2025-04-15
    80.74
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Mathematical ProofsonminiF2F-test
    pass@1024· uses extra data· 2025-04-15
    77.87
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354
  • Mathematical ProofsonminiF2F-test
    pass@8192· uses extra data· 2025-04-15
    80.74
    SOTA
    Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement LearningarXiv:2504.11354