Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up
AI-MO 's Collections
Kimina Prover
Informal-Math
Kimina Prover Preview
AIMO Progress Prize
NuminaMath

Kimina Prover Preview

updated Apr 28

State-of-the-Art Models for Formal Mathematical Reasoning

Upvote
33

  • AI-MO/Kimina-Prover-Preview-Distill-1.5B

    Text Generation • 2B • Updated Apr 16 • 1.42k • 10

  • AI-MO/Kimina-Prover-Preview-Distill-7B

    Text Generation • 8B • Updated Apr 17 • 2.22k • • 36

  • AI-MO/minif2f_test

    Viewer • Updated Jul 4 • 244 • 1.07k • 6

  • AI-MO/Kimina-Autoformalizer-7B

    Text Generation • 8B • Updated Apr 16 • 2.07k • • 13

  • AI-MO/CombiBench

    Viewer • Updated Jul 13 • 200 • 169 • 10
Upvote
33
  • Collection guide
  • Browse collections
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs