Update README.md
Browse files
README.md
CHANGED
@@ -1,11 +1,113 @@
|
|
1 |
---
|
2 |
license: other
|
|
|
3 |
license_name: tongyi-qianwen
|
4 |
datasets:
|
5 |
-
- AI-MO/NuminaMath-
|
6 |
language:
|
7 |
- en
|
8 |
tags:
|
9 |
- math
|
10 |
- aimo
|
11 |
-
---
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
---
|
2 |
license: other
|
3 |
+
base_model: Qwen/Qwen2-72B
|
4 |
license_name: tongyi-qianwen
|
5 |
datasets:
|
6 |
+
- AI-MO/NuminaMath-CoT
|
7 |
language:
|
8 |
- en
|
9 |
tags:
|
10 |
- math
|
11 |
- aimo
|
12 |
+
---
|
13 |
+
|
14 |
+
<!-- This model card has been generated automatically according to the information the Trainer had access to. You
|
15 |
+
should probably proofread and complete it, then remove this comment. -->
|
16 |
+
|
17 |
+
<img src="https://huggingface.co/AI-MO/NuminaMath-7B-TIR/resolve/main/thumbnail.png" alt="Numina Logo" width="800" style="margin-left:'auto' margin-right:'auto' display:'block'"/>
|
18 |
+
|
19 |
+
|
20 |
+
# Model Card for NuminaMath 72B CoT
|
21 |
+
|
22 |
+
NuminaMath is a series of language models that are trained with two stages of supervised fine-tuning to solve math problems using chain of thought (CoT) and tool-integrated reasoning (TIR):
|
23 |
+
|
24 |
+
* **Stage 1:** fine-tune the base model on a large, diverse dataset of natural language math problems and solutions, where each solution is templated with Chain of Thought (CoT) to facilitate reasoning.
|
25 |
+
* **Stage 2:** fine-tune the model from Stage 1 on a synthetic dataset of tool-integrated reasoning, where each math problem is decomposed into a sequence of rationales, Python programs, and their outputs.
|
26 |
+
|
27 |
+
NuminaMath 72B CoT is the model from Stage 1 and was fine-tuned on [AI-MO/NuminaMath-CoT](https://huggingface.co/datasets/AI-MO/NuminaMath-CoT), a large-scale dataset of 860k+ math competition problem-solution pairs.
|
28 |
+
|
29 |
+
## Model description
|
30 |
+
|
31 |
+
- **Model type:** A 72B parameter math LLM fine-tuned on a dataset with 860k+ math problem-solution pairs.
|
32 |
+
- **Language(s) (NLP):** Primarily English
|
33 |
+
- **License:** Tongyi Qianwen
|
34 |
+
- **Finetuned from model:** [Qwen/Qwen2-72B](https://huggingface.co/Qwen/Qwen2-72B)
|
35 |
+
|
36 |
+
### Model Sources
|
37 |
+
|
38 |
+
<!-- Provide the basic links for the model. -->
|
39 |
+
|
40 |
+
- **Repository:** https://github.com/project-numina/aimo-progress-prize
|
41 |
+
|
42 |
+
## Intended uses & limitations
|
43 |
+
|
44 |
+
Here's how you can run the model using the `pipeline()` function from 🤗 Transformers:
|
45 |
+
|
46 |
+
```python
|
47 |
+
import torch
|
48 |
+
from transformers import pipeline
|
49 |
+
|
50 |
+
pipe = pipeline("text-generation", model="AI-MO/NuminaMath-72B-CoT", torch_dtype=torch.bfloat16, device_map="auto")
|
51 |
+
|
52 |
+
messages = [
|
53 |
+
{"role": "user", "content": "For how many values of the constant $k$ will the polynomial $x^{2}+kx+36$ have two distinct integer roots?"},
|
54 |
+
]
|
55 |
+
prompt = pipe.tokenizer.apply_chat_template(messages, tokenize=False, add_generation_prompt=True)
|
56 |
+
|
57 |
+
gen_config = {
|
58 |
+
"max_new_tokens": 1024,
|
59 |
+
"do_sample": False,
|
60 |
+
"tokenizer": pipe.tokenizer,
|
61 |
+
}
|
62 |
+
|
63 |
+
outputs = pipe(prompt, **gen_config)
|
64 |
+
text = outputs[0]["generated_text"]
|
65 |
+
print(text)
|
66 |
+
```
|
67 |
+
|
68 |
+
## Bias, Risks, and Limitations
|
69 |
+
|
70 |
+
<!-- This section is meant to convey both technical and sociotechnical limitations. -->
|
71 |
+
|
72 |
+
NuminaMath 72B CoT was created to solve problems in the narrow domain of competition-level mathematics. As a result, the model should not be used for general chat applications. With greedy decoding, we find the model is capable of solving problems at the level of [AMC 12](https://artofproblemsolving.com/wiki/index.php/2023_AMC_12A_Problems), but often struggles generate a valid solution on harder problems at the AIME and Math Olympiad level. The model also struggles to solve geometry problems, likely due to it's limited capacity and lack of other modalities like vision.
|
73 |
+
|
74 |
+
## Training procedure
|
75 |
+
|
76 |
+
### Training hyperparameters
|
77 |
+
|
78 |
+
The following hyperparameters were used during training:
|
79 |
+
- learning_rate: 2e-05
|
80 |
+
- train_batch_size: 4
|
81 |
+
- eval_batch_size: 8
|
82 |
+
- seed: 42
|
83 |
+
- distributed_type: multi-GPU
|
84 |
+
- num_devices: 8
|
85 |
+
- total_train_batch_size: 32
|
86 |
+
- total_eval_batch_size: 64
|
87 |
+
- optimizer: Adam with betas=(0.9,0.999) and epsilon=1e-08
|
88 |
+
- lr_scheduler_type: cosine
|
89 |
+
- lr_scheduler_warmup_ratio: 0.1
|
90 |
+
- num_epochs: 3.0
|
91 |
+
|
92 |
+
|
93 |
+
### Framework versions
|
94 |
+
|
95 |
+
- Transformers 4.42.3
|
96 |
+
- Pytorch 2.3.0+cu121
|
97 |
+
- Datasets 2.18.0
|
98 |
+
- Tokenizers 0.19.1
|
99 |
+
|
100 |
+
## Citation
|
101 |
+
|
102 |
+
If you find NuminaMath 72B CoT is useful in your work, please cite it with:
|
103 |
+
|
104 |
+
```
|
105 |
+
@misc{numina_math_7b,
|
106 |
+
author = {Edward Beeching and Shengyi Costa Huang and Albert Jiang and Jia Li and Benjamin Lipkin and Zihan Qina and Kashif Rasul and Ziju Shen and Roman Soletskyi and Lewis Tunstall},
|
107 |
+
title = {NuminaMath 72B CoT},
|
108 |
+
year = {2024},
|
109 |
+
publisher = {Numina & Hugging Face},
|
110 |
+
journal = {Hugging Face repository},
|
111 |
+
howpublished = {\url{https://huggingface.co/AI-MO/NuminaMath-72B-CoT}}
|
112 |
+
}
|
113 |
+
```
|