AIMO Progress Prize
Collection
Models and datasets used in the winning solution to the AIMO 1st Progress Prize
•
7 items
•
Updated
•
11
Model Card for NuminaMath 7B TIR GPTQ
NuminaMath is a series of language models that are trained to solve math problems using tool-integrated reasoning (TIR). NuminaMath 7B TIR won the first progress prize of the AI Math Olympiad (AIMO), with a score of 29/50 on the public and private tests sets.
This model is an 8-bit version of AI-MO/NuminaMath-7B-TIR, which we quantized with AutoGPTQ to run fast inference in the Kaggle submissions. Please consult the original model card for more details.
- Downloads last month
- 2,279
This model does not have enough activity to be deployed to Inference API (serverless) yet. Increase its social
visibility and check back later, or deploy to Inference Endpoints (dedicated)
instead.
Model tree for AI-MO/NuminaMath-7B-TIR-GPTQ
Base model
deepseek-ai/deepseek-math-7b-base