Update README.md
Browse files
README.md
CHANGED
|
@@ -9,9 +9,39 @@ tags:
|
|
| 9 |
model-index:
|
| 10 |
- name: MathSmith-HC-Qwen3-14B-ShortCoT
|
| 11 |
results: []
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 12 |
---
|
| 13 |
|
| 14 |
-
|
| 15 |
-
should probably proofread and complete it, then remove this comment. -->
|
| 16 |
|
| 17 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 9 |
model-index:
|
| 10 |
- name: MathSmith-HC-Qwen3-14B-ShortCoT
|
| 11 |
results: []
|
| 12 |
+
datasets:
|
| 13 |
+
- Jasaxion/MathSmith-HC-Solution-Generation-ShortCoT-Qwen3-30B-A3B
|
| 14 |
+
- Jasaxion/MathSmith-HC-Problems
|
| 15 |
+
language:
|
| 16 |
+
- en
|
| 17 |
---
|
| 18 |
|
| 19 |
+
**MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy**
|
|
|
|
| 20 |
|
| 21 |
+
[](https://arxiv.org/abs/2508.05592)
|
| 22 |
+
[](LICENSE)
|
| 23 |
+
[]()
|
| 24 |
+
[](https://github.com/Jasaxion/MathSmith)
|
| 25 |
+
|
| 26 |
+
This model is a fine-tuned version of [Qwen3/Qwen3-14B](https://huggingface.co/Qwen3/Qwen3-14B) on the MathSmith-HC shortCoT setting.
|
| 27 |
+
|
| 28 |
+
Check Details at https://github.com/Jasaxion/MathSmith
|
| 29 |
+
|
| 30 |
+
## Dependence
|
| 31 |
+
- Transformers 4.52.4
|
| 32 |
+
- Pytorch 2.7.0+cu126
|
| 33 |
+
- Datasets 3.6.0
|
| 34 |
+
- Tokenizers 0.21.1
|
| 35 |
+
|
| 36 |
+
## Citation
|
| 37 |
+
|
| 38 |
+
If you find this work useful, please cite:
|
| 39 |
+
|
| 40 |
+
```bibtex
|
| 41 |
+
@article{zhan2025mathsmith,
|
| 42 |
+
title={MathSmith: Towards Extremely Hard Mathematical Reasoning by Forging Synthetic Problems with a Reinforced Policy},
|
| 43 |
+
author={Zhan, Shaoxiong and Lai, Yanlin and Lu, Ziyu and Lin, Dahua and Yang, Ziqing and Tan, Fei},
|
| 44 |
+
journal={arXiv preprint arXiv:2508.05592},
|
| 45 |
+
year={2025}
|
| 46 |
+
}
|
| 47 |
+
```
|