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

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

AIMO Progress Prize

updated Jul 19, 2024

Models and datasets used in the winning solution to the AIMO 1st Progress Prize

Upvote
13

  • AI-MO/NuminaMath-7B-TIR

    Text Generation • Updated Aug 14, 2024 • 1.67k • 342

  • AI-MO/NuminaMath-7B-TIR-GPTQ

    Text Generation • Updated Jul 9, 2024 • 50 • 7

  • AI-MO/aimo-validation-aime

    Viewer • Updated 1 day ago • 90 • 7.78k • 46

  • AI-MO/aimo-validation-amc

    Viewer • Updated 1 day ago • 83 • 2.31k • 15

  • AI-MO/aimo-validation-math-level-5

    Viewer • Updated Jul 10, 2024 • 721 • 371 • 10

  • AI-MO/aimo-validation-math-level-4

    Viewer • Updated Jul 10, 2024 • 754 • 43 • 3
Upvote
13
  • Collection guide
  • Browse collections
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs