File size: 10,231 Bytes
8c4b38f 6dd27ad 8c4b38f 6dd27ad 8c4b38f |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 |
---
base_model: AI-MO/NuminaMath-7B-TIR
license: apache-2.0
pipeline_tag: text-generation
tags:
- alignment-handbook
- generated_from_trainer
quantized_by: bartowski
widget:
- example_title: Math problem
messages:
- role: user
content: For how many values of the constant $k$ will the polynomial $x^{2}+kx+36$
have two distinct integer roots?
output:
text: '### Solution: 1. For the polynomial \\( x^2 + kx + 36 \\) to have two distinct
integer roots, let''s denote these roots by \\( r_1 \\) and \\( r_2 \\).\n\n2.
According to Vieta''s formulas, the sum of the roots \\( r_1 + r_2 \\) is equal
to \\(-k\\), and the product of the roots \\( r_1 \\cdot r_2 \\) is equal to
36.\n\n3. To find the distinct integer pairs \\((r_1, r_2)\\) whose product
is 36, we need to determine all pairs of integers \\((r_1, r_2)\\) such that
\\( r_1 \\cdot r_2 = 36 \\) and \\( r_1 \\neq r_2 \\).\n\n4. From the equation
\\( r_1 + r_2 = -k \\), for each valid pair \\((r_1, r_2)\\), we can compute
the corresponding value of \\( k \\).\n\n5. Finally, since we need the polynomial
to have two distinct integer roots, we need to ensure that \\( r_1 \\) and \\(
r_2 \\) are distinct.\n\nLet''s start by finding all pairs \\((r_1, r_2)\\)
such that \\( r_1 \\cdot r_2 = 36 \\). We''ll then determine the values of \\(
k \\) and ensure the roots are distinct.\n```python\nimport itertools\n\n# Find
all pairs (r1, r2) such that r1 * r2 = 36\nproduct_36 = 36\nfactor_pairs = []\n\nfor
i in range(1, product_36 + 1):\n if product_36 % i == 0:\n pair = (i, product_36
// i)\n if pair[0] != pair[1]: # Ensure distinct pairs\n factor_pairs.append(pair)\n\n#
Calculate k for each pair and ensure distinct integer roots\nvalid_k_values
= set()\nfor r1, r2 in factor_pairs:\n if r1 != r2:\n k = -(r1 + r2)\n valid_k_values.add(k)\n\nprint((len(valid_k_values),
sorted(valid_k_values)))\n```\n```output\n(4, [-37, -20, -15, -13])\n```\nThe
distinct integer values of \\( k \\) that make the polynomial \\( x^2 + kx +
36 \\) have two distinct integer roots are \\(-37, -20, -15, \\text{and} -13\\).\n\nTherefore,
the number of such values of \\( k \\) is:\n\n\\[\n\\boxed{4}\n\\]\n'
model-index:
- name: NuminaMath-7B-TIR
results: []
---
## Llamacpp imatrix Quantizations of NuminaMath-7B-TIR
Using <a href="https://github.com/ggerganov/llama.cpp/">llama.cpp</a> release <a href="https://github.com/ggerganov/llama.cpp/releases/tag/b3356">b3356</a> for quantization.
Original model: https://huggingface.co/AI-MO/NuminaMath-7B-TIR
All quants made using imatrix option with dataset from [here](https://gist.github.com/bartowski1182/eb213dccb3571f863da82e99418f81e8)
## Prompt format
```
### Problem: {prompt}
### Solution:
```
## Download a file (not the whole branch) from below:
| Filename | Quant type | File Size | Split | Description |
| -------- | ---------- | --------- | ----- | ----------- |
| [NuminaMath-7B-TIR-f32.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-f32.gguf) | f32 | 27.65GB | false | Full F32 weights. |
| [NuminaMath-7B-TIR-Q8_0.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q8_0.gguf) | Q8_0 | 7.35GB | false | Extremely high quality, generally unneeded but max available quant. |
| [NuminaMath-7B-TIR-Q6_K_L.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q6_K_L.gguf) | Q6_K_L | 5.88GB | false | Uses Q8_0 for embed and output weights. Very high quality, near perfect, *recommended*. |
| [NuminaMath-7B-TIR-Q6_K.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q6_K.gguf) | Q6_K | 5.67GB | false | Very high quality, near perfect, *recommended*. |
| [NuminaMath-7B-TIR-Q5_K_L.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q5_K_L.gguf) | Q5_K_L | 5.19GB | false | Uses Q8_0 for embed and output weights. High quality, *recommended*. |
| [NuminaMath-7B-TIR-Q5_K_M.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q5_K_M.gguf) | Q5_K_M | 4.93GB | false | High quality, *recommended*. |
| [NuminaMath-7B-TIR-Q5_K_S.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q5_K_S.gguf) | Q5_K_S | 4.81GB | false | High quality, *recommended*. |
| [NuminaMath-7B-TIR-Q4_K_L.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q4_K_L.gguf) | Q4_K_L | 4.53GB | false | Uses Q8_0 for embed and output weights. Good quality, *recommended*. |
| [NuminaMath-7B-TIR-Q4_K_M.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q4_K_M.gguf) | Q4_K_M | 4.22GB | false | Good quality, default size for must use cases, *recommended*. |
| [NuminaMath-7B-TIR-Q4_K_S.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q4_K_S.gguf) | Q4_K_S | 4.03GB | false | Slightly lower quality with more space savings, *recommended*. |
| [NuminaMath-7B-TIR-IQ4_XS.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ4_XS.gguf) | IQ4_XS | 3.80GB | false | Decent quality, smaller than Q4_K_S with similar performance, *recommended*. |
| [NuminaMath-7B-TIR-Q3_K_L.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q3_K_L.gguf) | Q3_K_L | 3.75GB | false | Lower quality but usable, good for low RAM availability. |
| [NuminaMath-7B-TIR-Q3_K_M.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q3_K_M.gguf) | Q3_K_M | 3.46GB | false | Low quality. |
| [NuminaMath-7B-TIR-IQ3_M.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ3_M.gguf) | IQ3_M | 3.29GB | false | Medium-low quality, new method with decent performance comparable to Q3_K_M. |
| [NuminaMath-7B-TIR-Q3_K_S.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q3_K_S.gguf) | Q3_K_S | 3.14GB | false | Low quality, not recommended. |
| [NuminaMath-7B-TIR-IQ3_XS.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ3_XS.gguf) | IQ3_XS | 2.99GB | false | Lower quality, new method with decent performance, slightly better than Q3_K_S. |
| [NuminaMath-7B-TIR-IQ3_XXS.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ3_XXS.gguf) | IQ3_XXS | 2.76GB | false | Lower quality, new method with decent performance, comparable to Q3 quants. |
| [NuminaMath-7B-TIR-Q2_K.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-Q2_K.gguf) | Q2_K | 2.72GB | false | Very low quality but surprisingly usable. |
| [NuminaMath-7B-TIR-IQ2_M.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ2_M.gguf) | IQ2_M | 2.54GB | false | Relatively low quality, uses SOTA techniques to be surprisingly usable. |
| [NuminaMath-7B-TIR-IQ2_S.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ2_S.gguf) | IQ2_S | 2.39GB | false | Low quality, uses SOTA techniques to be usable. |
| [NuminaMath-7B-TIR-IQ2_XS.gguf](https://huggingface.co/bartowski/NuminaMath-7B-TIR-GGUF/blob/main/NuminaMath-7B-TIR-IQ2_XS.gguf) | IQ2_XS | 2.21GB | false | Low quality, uses SOTA techniques to be usable. |
## Credits
Thank you kalomaze and Dampf for assistance in creating the imatrix calibration dataset
Thank you ZeroWw for the inspiration to experiment with embed/output
## Downloading using huggingface-cli
First, make sure you have hugginface-cli installed:
```
pip install -U "huggingface_hub[cli]"
```
Then, you can target the specific file you want:
```
huggingface-cli download bartowski/NuminaMath-7B-TIR-GGUF --include "NuminaMath-7B-TIR-Q4_K_M.gguf" --local-dir ./
```
If the model is bigger than 50GB, it will have been split into multiple files. In order to download them all to a local folder, run:
```
huggingface-cli download bartowski/NuminaMath-7B-TIR-GGUF --include "NuminaMath-7B-TIR-Q8_0.gguf/*" --local-dir NuminaMath-7B-TIR-Q8_0
```
You can either specify a new local-dir (NuminaMath-7B-TIR-Q8_0) or download them all in place (./)
## Which file should I choose?
A great write up with charts showing various performances is provided by Artefact2 [here](https://gist.github.com/Artefact2/b5f810600771265fc1e39442288e8ec9)
The first thing to figure out is how big a model you can run. To do this, you'll need to figure out how much RAM and/or VRAM you have.
If you want your model running as FAST as possible, you'll want to fit the whole thing on your GPU's VRAM. Aim for a quant with a file size 1-2GB smaller than your GPU's total VRAM.
If you want the absolute maximum quality, add both your system RAM and your GPU's VRAM together, then similarly grab a quant with a file size 1-2GB Smaller than that total.
Next, you'll need to decide if you want to use an 'I-quant' or a 'K-quant'.
If you don't want to think too much, grab one of the K-quants. These are in format 'QX_K_X', like Q5_K_M.
If you want to get more into the weeds, you can check out this extremely useful feature chart:
[llama.cpp feature matrix](https://github.com/ggerganov/llama.cpp/wiki/Feature-matrix)
But basically, if you're aiming for below Q4, and you're running cuBLAS (Nvidia) or rocBLAS (AMD), you should look towards the I-quants. These are in format IQX_X, like IQ3_M. These are newer and offer better performance for their size.
These I-quants can also be used on CPU and Apple Metal, but will be slower than their K-quant equivalent, so speed vs performance is a tradeoff you'll have to decide.
The I-quants are *not* compatible with Vulcan, which is also AMD, so if you have an AMD card double check if you're using the rocBLAS build or the Vulcan build. At the time of writing this, LM Studio has a preview with ROCm support, and other inference engines have specific builds for ROCm.
Want to support my work? Visit my ko-fi page here: https://ko-fi.com/bartowski
|