SuperGoatScriptGuy commited on
Commit
6bb6e24
·
verified ·
1 Parent(s): 0652d17

Mnemonic Math on the card

Browse files
Files changed (1) hide show
  1. README.md +5 -1
README.md CHANGED
@@ -21,6 +21,8 @@ Code: https://github.com/Supergoatscriptguy/Mnemonic
21
  | `mnemonic-300m-q4.mnm` | 300M | int4, one scale per group of 32 | 181 MB |
22
  | `mnemonic-q8.mnm` | 126M | int8, one scale per row | 121 MB |
23
  | `mnemonic-q4.mnm` | 126M | int4, one scale per group of 32 | 75 MB |
 
 
24
 
25
  **Models.** All three are Llama-style decoders (RoPE, RMSNorm, SwiGLU, grouped-query attention, tied embeddings, no biases), with a byte-level BPE vocab of 32768.
26
 
@@ -34,8 +36,10 @@ Code: https://github.com/Supergoatscriptguy/Mnemonic
34
  - **300M:** pretrained on 10B tokens of FineWeb-Edu (about 90 hours, validation loss 2.84). Then fine-tuned for chat the same way (3.4 hours).
35
  - **126M:** pretrained on 5B tokens (19 hours, validation loss 3.10), then fine-tuned for chat on smol-smoltalk plus a smaller identity set.
36
 
 
 
37
  **Format.** `.mnm` is the project's own format (a 4 KB header, then the tensors), read by the engines in the repo (`chat/engine.asm`, `site/engine.wat`). It is not a transformers checkpoint. For llama.cpp and Ollama there are GGUF builds: `ollama run supergoatscriptguy/mnemonic` gets the 755M, and the tags `300m` and `126m` get the smaller ones.
38
 
39
- **Limitations.** These are small models: they make confident mistakes (especially with dates and numbers), are weak at math, and lose the thread in long conversations. Each one is better than the one before, but all three share these limits.
40
 
41
  Made by Supergoatscriptguy.
 
21
  | `mnemonic-300m-q4.mnm` | 300M | int4, one scale per group of 32 | 181 MB |
22
  | `mnemonic-q8.mnm` | 126M | int8, one scale per row | 121 MB |
23
  | `mnemonic-q4.mnm` | 126M | int4, one scale per group of 32 | 75 MB |
24
+ | `mnemonic-math-q8.mnm` | Math (300M) | int8, one scale per row | 291 MB |
25
+ | `mnemonic-math-q4.mnm` | Math (300M) | int4, one scale per group of 32 | 181 MB |
26
 
27
  **Models.** All three are Llama-style decoders (RoPE, RMSNorm, SwiGLU, grouped-query attention, tied embeddings, no biases), with a byte-level BPE vocab of 32768.
28
 
 
36
  - **300M:** pretrained on 10B tokens of FineWeb-Edu (about 90 hours, validation loss 2.84). Then fine-tuned for chat the same way (3.4 hours).
37
  - **126M:** pretrained on 5B tokens (19 hours, validation loss 3.10), then fine-tuned for chat on smol-smoltalk plus a smaller identity set.
38
 
39
+ **Mnemonic Math.** A separate model that only does math: the 300M, fine-tuned on about 15 million generated problems (3B tokens, about 26 hours) that are worked out one small step at a time, in 31 kinds: column arithmetic and long division, fractions, decimals, percents, ratios, powers, square roots, prime factorization, gcd and lcm, order of operations, linear and quadratic equations, systems, inequalities, absolute value, expanding and factoring, polynomial division, lines, sequences, statistics, geometry and word problems. It gets 99.7% of 3,085 held-out problems right (the misses are wording, not math) and all 66 of a set of questions typed the way people type them. The int4 file scores the same as the int8 on all of it. It knows only those kinds of problems, and answers anything else wrongly. Run it greedy: `bin\chat model=models\mnemonic-math-q8.mnm temp=0 max=2000`. There's no GGUF of it yet, because llama.cpp splits numbers into tokens differently from this tokenizer.
40
+
41
  **Format.** `.mnm` is the project's own format (a 4 KB header, then the tensors), read by the engines in the repo (`chat/engine.asm`, `site/engine.wat`). It is not a transformers checkpoint. For llama.cpp and Ollama there are GGUF builds: `ollama run supergoatscriptguy/mnemonic` gets the 755M, and the tags `300m` and `126m` get the smaller ones.
42
 
43
+ **Limitations.** The chat models are small: they make confident mistakes (especially with dates and numbers), are weak at math, and lose the thread in long conversations. Each one is better than the one before, but all three share these limits. The math model is the other way around: good at its 31 kinds of problems and no use for anything else.
44
 
45
  Made by Supergoatscriptguy.