初始化项目,由ModelHub XC社区提供模型

Model: m-a-p/OProver-8B-Base
Source: Original Platform
This commit is contained in:
ModelHub XC
2026-05-29 01:32:13 +08:00
commit 9e4c040b27
18 changed files with 1341 additions and 0 deletions

61
.gitattributes vendored Normal file
View File

@@ -0,0 +1,61 @@
*.7z filter=lfs diff=lfs merge=lfs -text
*.arrow filter=lfs diff=lfs merge=lfs -text
*.bin filter=lfs diff=lfs merge=lfs -text
*.bin.* filter=lfs diff=lfs merge=lfs -text
*.bz2 filter=lfs diff=lfs merge=lfs -text
*.ftz filter=lfs diff=lfs merge=lfs -text
*.gz filter=lfs diff=lfs merge=lfs -text
*.h5 filter=lfs diff=lfs merge=lfs -text
*.joblib filter=lfs diff=lfs merge=lfs -text
*.lfs.* filter=lfs diff=lfs merge=lfs -text
*.model filter=lfs diff=lfs merge=lfs -text
*.msgpack filter=lfs diff=lfs merge=lfs -text
*.onnx filter=lfs diff=lfs merge=lfs -text
*.ot filter=lfs diff=lfs merge=lfs -text
*.parquet filter=lfs diff=lfs merge=lfs -text
*.pb filter=lfs diff=lfs merge=lfs -text
*.pt filter=lfs diff=lfs merge=lfs -text
*.pth filter=lfs diff=lfs merge=lfs -text
*.rar filter=lfs diff=lfs merge=lfs -text
saved_model/**/* filter=lfs diff=lfs merge=lfs -text
*.tar.* filter=lfs diff=lfs merge=lfs -text
*.tflite filter=lfs diff=lfs merge=lfs -text
*.tgz filter=lfs diff=lfs merge=lfs -text
*.xz filter=lfs diff=lfs merge=lfs -text
*.zip filter=lfs diff=lfs merge=lfs -text
*.zstandard filter=lfs diff=lfs merge=lfs -text
*.tfevents* filter=lfs diff=lfs merge=lfs -text
*.db* filter=lfs diff=lfs merge=lfs -text
*.ark* filter=lfs diff=lfs merge=lfs -text
**/*ckpt*data* filter=lfs diff=lfs merge=lfs -text
**/*ckpt*.meta filter=lfs diff=lfs merge=lfs -text
**/*ckpt*.index filter=lfs diff=lfs merge=lfs -text
*.ckpt filter=lfs diff=lfs merge=lfs -text
*.gguf* filter=lfs diff=lfs merge=lfs -text
*.ggml filter=lfs diff=lfs merge=lfs -text
*.llamafile* filter=lfs diff=lfs merge=lfs -text
*.pt2 filter=lfs diff=lfs merge=lfs -text
*.mlmodel filter=lfs diff=lfs merge=lfs -text
*.npy filter=lfs diff=lfs merge=lfs -text
*.npz filter=lfs diff=lfs merge=lfs -text
*.pickle filter=lfs diff=lfs merge=lfs -text
*.pkl filter=lfs diff=lfs merge=lfs -text
*.tar filter=lfs diff=lfs merge=lfs -text
*.wasm filter=lfs diff=lfs merge=lfs -text
*.zst filter=lfs diff=lfs merge=lfs -text
*tfevents* filter=lfs diff=lfs merge=lfs -text
merges.txt filter=lfs diff=lfs merge=lfs -text
model-00001.safetensors filter=lfs diff=lfs merge=lfs -text
model-00002.safetensors filter=lfs diff=lfs merge=lfs -text
model-00003.safetensors filter=lfs diff=lfs merge=lfs -text
model-00004.safetensors filter=lfs diff=lfs merge=lfs -text
tokenizer.json filter=lfs diff=lfs merge=lfs -text
vocab.json filter=lfs diff=lfs merge=lfs -text

144
README.md Normal file
View File

@@ -0,0 +1,144 @@
---
license: apache-2.0
language:
- en
library_name: transformers
pipeline_tag: text-generation
tags:
- lean4
- theorem-proving
- formal-mathematics
- agentic
- retrieval-augmented
datasets:
- m-a-p/OProofs
---
# OProver
> A unified framework for **agentic formal theorem proving** in Lean 4.
- 📄 Paper: [OProver: A Unified Framework for Agentic Formal Theorem Proving](https://huggingface.co/papers/2605.17283) ([arXiv](https://arxiv.org/abs/2605.17283))
- 📚 Collection: [m-a-p/OProver](https://huggingface.co/collections/m-a-p/oprover)
- 📦 Dataset: [m-a-p/OProofs](https://huggingface.co/datasets/m-a-p/OProofs)
OProver treats theorem proving as a multi-round refinement loop. Given a target
theorem, the prover retrieves top-k compiler-verified proofs from a memory of
prior proofs, generates a proof attempt, runs the Lean 4 compiler, and—on
failure—revises the attempt using the compiler feedback in the next round.
The same retrieval and feedback signals are baked into training, so the
training-time interface matches the proving-time interaction.
## Highlights
- **State-of-the-art among open-weight whole-proof provers.** OProver-32B
attains the best Pass@32 on MiniF2F (93.3), ProverBench (58.2), and
PutnamBench (11.3), and the second-best on MathOlympiad (22.8) and
ProofNet (33.2). Even OProver-8B beats Goedel-Prover-V2-32B on all five
benchmarks despite having 4× fewer parameters.
- **Agentic proving is in the policy, not bolted on.** Retrieval, multi-turn
compiler feedback, and iterative repair are all part of the trained policy.
Ablations show feedback is the dominant driver: removing it costs OProver-32B
4.97.4 Pass@32 points across benchmarks; removing retrieval on top adds
0.51.7 more.
- **Co-evolving prover and corpus.** Each post-training iteration runs agentic
rollouts; verified proofs are added to OProofs and re-indexed for retrieval,
repair trajectories become SFT data, and unresolved hard cases provide RL
signal. MiniF2F-Test Pass@32 grows monotonically: OProver-8B 79.5 → 86.2 →
87.0 → 91.8 across rounds; OProver-32B 84.7 → 88.1 → 93.3.
## What's in this release
The OProver collection ([m-a-p/OProver](https://huggingface.co/collections/m-a-p/oprover)) bundles the paper,
the corpus, and seven model checkpoints covering both training stages and
both model sizes:
| Repo | Stage | Size | Note |
|---|---|---|---|
| [OProver-8B-Base](https://huggingface.co/m-a-p/OProver-8B-Base) | Continued pretraining only | 8B | Domain-adapted base; before SFT/RL |
| [OProver-32B-Base](https://huggingface.co/m-a-p/OProver-32B-Base) | Continued pretraining only | 32B | Domain-adapted base; before SFT/RL |
| [OProver-8B-Round1](https://huggingface.co/m-a-p/OProver-8B-Round1) | Post-training Round 1 | 8B | After first SFT+RL iteration |
| [OProver-8B-Round2](https://huggingface.co/m-a-p/OProver-8B-Round2) | Post-training Round 2 | 8B | After second SFT+RL iteration |
| [OProver-32B-Round1](https://huggingface.co/m-a-p/OProver-32B-Round1) | Post-training Round 1 | 32B | After first SFT+RL iteration |
| **[OProver-8B](https://huggingface.co/m-a-p/OProver-8B)** | Final | 8B | The 8B prover reported in the paper (Round 3) |
| **[OProver-32B](https://huggingface.co/m-a-p/OProver-32B)** | Final | 32B | The 32B prover reported in the paper (Round 2) |
| [OProofs](https://huggingface.co/datasets/m-a-p/OProofs) | Dataset | 6.86M proofs | Lean 4 corpus used for CPT, SFT, and the retrieval memory |
Use **OProver-8B** or **OProver-32B** for proving. The Base / Round-N
checkpoints are released for reproducibility and ablation studies.
## Dataset: OProofs
OProofs is a large-scale Lean 4 corpus that doubles as the retrieval memory at
proving time. It is built from three sources: public Lean resources
(NuminaMath-LEAN, Lean-Workbook, Leanabell-FormalStmt, Goedel-Pset, …),
large-scale autoformalization + agentic proof synthesis from informal math
mined on Common Crawl and GitHub, and traces from OProver's own agentic
proving runs.
![OProofs Lean 4 corpus statistics](./assets/oproofs.png)
## Training
Two stages, both anchored on OProofs.
**1. Continued pretraining (one-time).** A 65B-token mixture of formal
Lean (≈30%, from OProofs), code (≈20%, OpenCoder), mathematics (≈40%,
Nemotron-Math-4-Plus), and long-CoT (≈10%, ProLong-64K). AdamW, peak LR
5e-5, cosine with 3% warmup, batch 512, sequence length 8192. Output:
`OProver-{8B,32B}-Base`.
**2. Iterative post-training.** Each round runs:
1. Agentic proving with the current prover on a theorem pool, producing
multi-round rollouts conditioned on retrieved proofs and Lean feedback.
2. **SFT** on round-level repair examples `(s, R, p_{t-1}, f_{t-1}) → p_t`,
with cross-entropy loss only on the new attempt.
3. **GSPO RL** on hard cases (groups with non-trivial pass-rate). Per-round
reward `r = 0.8 + 0.2·1[format ok]` if Lean-verified, else 0; advantages
are pooled across the n×R rounds for the same theorem.
4. Newly verified proofs and repair trajectories are folded back into OProofs
and re-indexed into the retrieval memory for the next round.
## Results
Pass@32 (n=64) across five Lean 4 benchmarks. **Bold** is best, _underlined_
is second-best.
![Main results: Pass@32 across five Lean 4 benchmarks](./assets/main_results.png)
OProver-32B reaches three best and two second-best across five benchmarks —
the most top placements of any model in the comparison, despite being a
32B dense model versus a 560B MoE or a 671B dense competitor.
## Loading
```python
from transformers import AutoModelForCausalLM, AutoTokenizer
# Pick any of: OProver-8B, OProver-32B, *-Base, *-Round1, *-Round2
name = "m-a-p/OProver-8B"
tok = AutoTokenizer.from_pretrained(name)
model = AutoModelForCausalLM.from_pretrained(name, torch_dtype="bfloat16", device_map="auto")
```
```python
from datasets import load_dataset
ds = load_dataset("m-a-p/OProofs", split="train")
```
OProver is trained against a multi-round agentic interface: at each round the
input includes the target Lean statement, top-k retrieved verified proofs, the
prior proof attempt, and the Lean compiler feedback. See the paper §2.1 for
the prompt template, and Appendix B for serialization details.
## Citation
```bibtex
@article{ma2026oprover,
title = {OProver: A Unified Framework for Agentic Formal Theorem Proving},
author = {David Ma and Kaijing Ma and Shawn Guo and Yunfeng Shi and Enduo Zhao and Jiajun Shi and Zhaoxiang Zhang and Gavin Cheung and Jiaheng Liu and Zili Wang},
journal = {arXiv preprint arXiv:2605.17283},
year = {2026}
}
```

57
added_tokens.json Normal file
View File

@@ -0,0 +1,57 @@
{
"</think>": 151668,
"</tool_call>": 151658,
"</tool_response>": 151666,
"<dream>": 151682,
"<dream_end>": 151684,
"<dream_start>": 151683,
"<im_end>": 151681,
"<im_patch>": 151679,
"<im_start>": 151680,
"<patch_end>": 151690,
"<patch_newline>": 151691,
"<patch_start>": 151689,
"<think>": 151667,
"<tool_call>": 151657,
"<tool_response>": 151665,
"<video_end>": 151688,
"<video_start>": 151687,
"<|BOT|>": 151670,
"<|CALL_END|>": 151672,
"<|CALL_START|>": 151671,
"<|EOT|>": 151669,
"<|IMG_END|>": 151676,
"<|IMG_START|>": 151675,
"<|MASK_1e69f|>": 151685,
"<|META_END|>": 151678,
"<|META_START|>": 151677,
"<|THINK_END|>": 151674,
"<|THINK_START|>": 151673,
"<|UNMASK_1e69f|>": 151686,
"<|box_end|>": 151649,
"<|box_start|>": 151648,
"<|endoftext|>": 151643,
"<|file_sep|>": 151664,
"<|fim_middle|>": 151660,
"<|fim_pad|>": 151662,
"<|fim_prefix|>": 151659,
"<|fim_suffix|>": 151661,
"<|im_end|>": 151645,
"<|im_start|>": 151644,
"<|image_pad|>": 151655,
"<|object_ref_end|>": 151647,
"<|object_ref_start|>": 151646,
"<|quad_end|>": 151651,
"<|quad_start|>": 151650,
"<|repo_name|>": 151663,
"<|video_pad|>": 151656,
"<|vision_end|>": 151653,
"<|vision_pad|>": 151654,
"<|vision_start|>": 151652,
"<begin▁of▁mask>": 151693,
"<begin▁of▁sentence>": 151692,
"<end▁of▁mask>": 151694,
"<end▁of▁sentence>": 151697,
"<fim▁begin>": 151695,
"<fim▁hole>": 151696
}

BIN
assets/main_results.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 301 KiB

BIN
assets/oproofs.png Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 250 KiB

89
chat_template.jinja Normal file
View File

@@ -0,0 +1,89 @@
{%- if tools %}
{{- '<|im_start|>system\n' }}
{%- if messages[0].role == 'system' %}
{{- messages[0].content + '\n\n' }}
{%- endif %}
{{- "# Tools\n\nYou may call one or more functions to assist with the user query.\n\nYou are provided with function signatures within <tools></tools> XML tags:\n<tools>" }}
{%- for tool in tools %}
{{- "\n" }}
{{- tool | tojson }}
{%- endfor %}
{{- "\n</tools>\n\nFor each function call, return a json object with function name and arguments within <tool_call></tool_call> XML tags:\n<tool_call>\n{\"name\": <function-name>, \"arguments\": <args-json-object>}\n</tool_call><|im_end|>\n" }}
{%- else %}
{%- if messages[0].role == 'system' %}
{{- '<|im_start|>system\n' + messages[0].content + '<|im_end|>\n' }}
{%- endif %}
{%- endif %}
{%- set ns = namespace(multi_step_tool=true, last_query_index=messages|length - 1) %}
{%- for message in messages[::-1] %}
{%- set index = (messages|length - 1) - loop.index0 %}
{%- if ns.multi_step_tool and message.role == "user" and message.content is string and not(message.content.startswith('<tool_response>') and message.content.endswith('</tool_response>')) %}
{%- set ns.multi_step_tool = false %}
{%- set ns.last_query_index = index %}
{%- endif %}
{%- endfor %}
{%- for message in messages %}
{%- if message.content is string %}
{%- set content = message.content %}
{%- else %}
{%- set content = '' %}
{%- endif %}
{%- if (message.role == "user") or (message.role == "system" and not loop.first) %}
{{- '<|im_start|>' + message.role + '\n' + content + '<|im_end|>' + '\n' }}
{%- elif message.role == "assistant" %}
{%- set reasoning_content = '' %}
{%- if message.reasoning_content is string %}
{%- set reasoning_content = message.reasoning_content %}
{%- else %}
{%- if '</think>' in content %}
{%- set reasoning_content = content.split('</think>')[0].rstrip('\n').split('<think>')[-1].lstrip('\n') %}
{%- set content = content.split('</think>')[-1].lstrip('\n') %}
{%- endif %}
{%- endif %}
{%- if loop.index0 > ns.last_query_index %}
{%- if loop.last or (not loop.last and reasoning_content) %}
{{- '<|im_start|>' + message.role + '\n<think>\n' + reasoning_content.strip('\n') + '\n</think>\n\n' + content.lstrip('\n') }}
{%- else %}
{{- '<|im_start|>' + message.role + '\n' + content }}
{%- endif %}
{%- else %}
{{- '<|im_start|>' + message.role + '\n' + content }}
{%- endif %}
{%- if message.tool_calls %}
{%- for tool_call in message.tool_calls %}
{%- if (loop.first and content) or (not loop.first) %}
{{- '\n' }}
{%- endif %}
{%- if tool_call.function %}
{%- set tool_call = tool_call.function %}
{%- endif %}
{{- '<tool_call>\n{"name": "' }}
{{- tool_call.name }}
{{- '", "arguments": ' }}
{%- if tool_call.arguments is string %}
{{- tool_call.arguments }}
{%- else %}
{{- tool_call.arguments | tojson }}
{%- endif %}
{{- '}\n</tool_call>' }}
{%- endfor %}
{%- endif %}
{{- '<|im_end|>\n' }}
{%- elif message.role == "tool" %}
{%- if loop.first or (messages[loop.index0 - 1].role != "tool") %}
{{- '<|im_start|>user' }}
{%- endif %}
{{- '\n<tool_response>\n' }}
{{- content }}
{{- '\n</tool_response>' }}
{%- if loop.last or (messages[loop.index0 + 1].role != "tool") %}
{{- '<|im_end|>\n' }}
{%- endif %}
{%- endif %}
{%- endfor %}
{%- if add_generation_prompt %}
{{- '<|im_start|>assistant\n' }}
{%- if enable_thinking is defined and enable_thinking is false %}
{{- '<think>\n\n</think>\n\n' }}
{%- endif %}
{%- endif %}

30
config.json Normal file
View File

@@ -0,0 +1,30 @@
{
"architectures": [
"Qwen3ForCausalLM"
],
"attention_bias": false,
"attention_dropout": 0.0,
"bos_token_id": 151643,
"eos_token_id": 151645,
"head_dim": 128,
"hidden_act": "silu",
"hidden_size": 4096,
"initializer_range": 0.02,
"intermediate_size": 12288,
"max_position_embeddings": 40960,
"max_window_layers": 36,
"model_type": "qwen3",
"num_attention_heads": 32,
"num_hidden_layers": 36,
"num_key_value_heads": 8,
"rms_norm_eps": 1e-06,
"rope_scaling": null,
"rope_theta": 1000000,
"sliding_window": null,
"tie_word_embeddings": false,
"torch_dtype": "bfloat16",
"transformers_version": "4.51.0",
"use_cache": true,
"use_sliding_window": false,
"vocab_size": 151936
}

1
configuration.json Normal file
View File

@@ -0,0 +1 @@
{"framework": "pytorch", "task": "others", "allow_remote": true}

BIN
merges.txt (Stored with Git LFS) Normal file

Binary file not shown.

3
model-00001.safetensors Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:86fad4f870907f7bb25ef9a63f72792e59f879c4f4e5faf83ddf0d0970cc53f3
size 4286778640

3
model-00002.safetensors Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:f5f2e802f0a0745a5e98583ca8574ade34a42380a2c9d05e7000e35bf9ed694d
size 4286779488

3
model-00003.safetensors Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:018bbb3658e8f0548142cfb029e33e23010da2a314ca3b5dd3efef93b97f2fd5
size 4244835480

3
model-00004.safetensors Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:58633f9cbaaaac828bb6bc36930c34881ee1ec60989cb7eeb82192e465a59390
size 3563123040

View File

@@ -0,0 +1,404 @@
{
"metadata": {},
"weight_map": {
"model.layers.0.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.0.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.0.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.0.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.0.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.0.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.0.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.0.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.0.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.0.input_layernorm.weight": "model-00001.safetensors",
"model.layers.0.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.1.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.1.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.1.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.1.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.1.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.1.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.1.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.1.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.1.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.1.input_layernorm.weight": "model-00001.safetensors",
"model.layers.1.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.2.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.2.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.2.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.2.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.2.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.2.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.2.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.2.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.2.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.2.input_layernorm.weight": "model-00001.safetensors",
"model.layers.2.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.3.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.3.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.3.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.3.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.3.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.3.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.3.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.3.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.3.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.3.input_layernorm.weight": "model-00001.safetensors",
"model.layers.3.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.4.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.4.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.4.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.4.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.4.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.4.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.4.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.4.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.4.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.4.input_layernorm.weight": "model-00001.safetensors",
"model.layers.4.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.5.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.5.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.5.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.5.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.5.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.5.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.5.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.5.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.5.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.5.input_layernorm.weight": "model-00001.safetensors",
"model.layers.5.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.6.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.6.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.6.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.6.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.6.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.6.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.6.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.6.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.6.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.6.input_layernorm.weight": "model-00001.safetensors",
"model.layers.6.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.7.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.7.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.7.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.7.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.7.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.7.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.7.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.7.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.7.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.7.input_layernorm.weight": "model-00001.safetensors",
"model.layers.7.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.8.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.8.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.8.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.8.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.8.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.8.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.8.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.8.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.8.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.8.input_layernorm.weight": "model-00001.safetensors",
"model.layers.8.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.9.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.9.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.9.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.9.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.9.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.9.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.9.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.9.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.9.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.9.input_layernorm.weight": "model-00001.safetensors",
"model.layers.9.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.10.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.10.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.10.self_attn.v_proj.weight": "model-00001.safetensors",
"model.layers.10.self_attn.o_proj.weight": "model-00001.safetensors",
"model.layers.10.self_attn.q_norm.weight": "model-00001.safetensors",
"model.layers.10.self_attn.k_norm.weight": "model-00001.safetensors",
"model.layers.10.mlp.gate_proj.weight": "model-00001.safetensors",
"model.layers.10.mlp.up_proj.weight": "model-00001.safetensors",
"model.layers.10.mlp.down_proj.weight": "model-00001.safetensors",
"model.layers.10.input_layernorm.weight": "model-00001.safetensors",
"model.layers.10.post_attention_layernorm.weight": "model-00001.safetensors",
"model.layers.11.self_attn.q_proj.weight": "model-00001.safetensors",
"model.layers.11.self_attn.k_proj.weight": "model-00001.safetensors",
"model.layers.11.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.11.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.11.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.11.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.11.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.11.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.11.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.11.input_layernorm.weight": "model-00002.safetensors",
"model.layers.11.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.12.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.12.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.12.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.12.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.12.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.12.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.12.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.12.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.12.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.12.input_layernorm.weight": "model-00002.safetensors",
"model.layers.12.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.13.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.13.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.13.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.13.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.13.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.13.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.13.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.13.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.13.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.13.input_layernorm.weight": "model-00002.safetensors",
"model.layers.13.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.14.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.14.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.14.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.14.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.14.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.14.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.14.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.14.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.14.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.14.input_layernorm.weight": "model-00002.safetensors",
"model.layers.14.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.15.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.15.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.15.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.15.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.15.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.15.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.15.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.15.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.15.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.15.input_layernorm.weight": "model-00002.safetensors",
"model.layers.15.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.16.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.16.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.16.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.16.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.16.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.16.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.16.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.16.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.16.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.16.input_layernorm.weight": "model-00002.safetensors",
"model.layers.16.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.17.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.17.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.17.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.17.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.17.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.17.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.17.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.17.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.17.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.17.input_layernorm.weight": "model-00002.safetensors",
"model.layers.17.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.18.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.18.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.18.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.18.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.18.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.18.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.18.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.18.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.18.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.18.input_layernorm.weight": "model-00002.safetensors",
"model.layers.18.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.19.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.19.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.19.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.19.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.19.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.19.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.19.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.19.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.19.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.19.input_layernorm.weight": "model-00002.safetensors",
"model.layers.19.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.20.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.20.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.20.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.20.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.20.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.20.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.20.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.20.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.20.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.20.input_layernorm.weight": "model-00002.safetensors",
"model.layers.20.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.21.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.21.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.21.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.21.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.21.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.21.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.21.mlp.gate_proj.weight": "model-00002.safetensors",
"model.layers.21.mlp.up_proj.weight": "model-00002.safetensors",
"model.layers.21.mlp.down_proj.weight": "model-00002.safetensors",
"model.layers.21.input_layernorm.weight": "model-00002.safetensors",
"model.layers.21.post_attention_layernorm.weight": "model-00002.safetensors",
"model.layers.22.self_attn.q_proj.weight": "model-00002.safetensors",
"model.layers.22.self_attn.k_proj.weight": "model-00002.safetensors",
"model.layers.22.self_attn.v_proj.weight": "model-00002.safetensors",
"model.layers.22.self_attn.o_proj.weight": "model-00002.safetensors",
"model.layers.22.self_attn.q_norm.weight": "model-00002.safetensors",
"model.layers.22.self_attn.k_norm.weight": "model-00002.safetensors",
"model.layers.22.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.22.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.22.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.22.input_layernorm.weight": "model-00003.safetensors",
"model.layers.22.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.23.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.23.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.23.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.23.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.23.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.23.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.23.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.23.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.23.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.23.input_layernorm.weight": "model-00003.safetensors",
"model.layers.23.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.24.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.24.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.24.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.24.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.24.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.24.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.24.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.24.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.24.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.24.input_layernorm.weight": "model-00003.safetensors",
"model.layers.24.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.25.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.25.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.25.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.25.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.25.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.25.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.25.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.25.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.25.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.25.input_layernorm.weight": "model-00003.safetensors",
"model.layers.25.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.26.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.26.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.26.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.26.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.26.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.26.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.26.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.26.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.26.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.26.input_layernorm.weight": "model-00003.safetensors",
"model.layers.26.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.27.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.27.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.27.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.27.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.27.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.27.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.27.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.27.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.27.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.27.input_layernorm.weight": "model-00003.safetensors",
"model.layers.27.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.28.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.28.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.28.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.28.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.28.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.28.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.28.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.28.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.28.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.28.input_layernorm.weight": "model-00003.safetensors",
"model.layers.28.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.29.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.29.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.29.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.29.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.29.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.29.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.29.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.29.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.29.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.29.input_layernorm.weight": "model-00003.safetensors",
"model.layers.29.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.30.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.30.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.30.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.30.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.30.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.30.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.30.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.30.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.30.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.30.input_layernorm.weight": "model-00003.safetensors",
"model.layers.30.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.31.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.31.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.31.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.31.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.31.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.31.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.31.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.31.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.31.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.31.input_layernorm.weight": "model-00003.safetensors",
"model.layers.31.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.32.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.32.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.32.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.32.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.32.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.32.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.32.mlp.gate_proj.weight": "model-00003.safetensors",
"model.layers.32.mlp.up_proj.weight": "model-00003.safetensors",
"model.layers.32.mlp.down_proj.weight": "model-00003.safetensors",
"model.layers.32.input_layernorm.weight": "model-00003.safetensors",
"model.layers.32.post_attention_layernorm.weight": "model-00003.safetensors",
"model.layers.33.self_attn.q_proj.weight": "model-00003.safetensors",
"model.layers.33.self_attn.k_proj.weight": "model-00003.safetensors",
"model.layers.33.self_attn.v_proj.weight": "model-00003.safetensors",
"model.layers.33.self_attn.o_proj.weight": "model-00003.safetensors",
"model.layers.33.self_attn.q_norm.weight": "model-00003.safetensors",
"model.layers.33.self_attn.k_norm.weight": "model-00003.safetensors",
"model.layers.33.mlp.gate_proj.weight": "model-00004.safetensors",
"model.layers.33.mlp.up_proj.weight": "model-00004.safetensors",
"model.layers.33.mlp.down_proj.weight": "model-00004.safetensors",
"model.layers.33.input_layernorm.weight": "model-00004.safetensors",
"model.layers.33.post_attention_layernorm.weight": "model-00004.safetensors",
"model.layers.34.self_attn.q_proj.weight": "model-00004.safetensors",
"model.layers.34.self_attn.k_proj.weight": "model-00004.safetensors",
"model.layers.34.self_attn.v_proj.weight": "model-00004.safetensors",
"model.layers.34.self_attn.o_proj.weight": "model-00004.safetensors",
"model.layers.34.self_attn.q_norm.weight": "model-00004.safetensors",
"model.layers.34.self_attn.k_norm.weight": "model-00004.safetensors",
"model.layers.34.mlp.gate_proj.weight": "model-00004.safetensors",
"model.layers.34.mlp.up_proj.weight": "model-00004.safetensors",
"model.layers.34.mlp.down_proj.weight": "model-00004.safetensors",
"model.layers.34.input_layernorm.weight": "model-00004.safetensors",
"model.layers.34.post_attention_layernorm.weight": "model-00004.safetensors",
"model.layers.35.self_attn.q_proj.weight": "model-00004.safetensors",
"model.layers.35.self_attn.k_proj.weight": "model-00004.safetensors",
"model.layers.35.self_attn.v_proj.weight": "model-00004.safetensors",
"model.layers.35.self_attn.o_proj.weight": "model-00004.safetensors",
"model.layers.35.self_attn.q_norm.weight": "model-00004.safetensors",
"model.layers.35.self_attn.k_norm.weight": "model-00004.safetensors",
"model.layers.35.mlp.gate_proj.weight": "model-00004.safetensors",
"model.layers.35.mlp.up_proj.weight": "model-00004.safetensors",
"model.layers.35.mlp.down_proj.weight": "model-00004.safetensors",
"model.layers.35.input_layernorm.weight": "model-00004.safetensors",
"model.layers.35.post_attention_layernorm.weight": "model-00004.safetensors",
"model.embed_tokens.weight": "model-00004.safetensors",
"model.norm.weight": "model-00004.safetensors",
"lm_head.weight": "model-00004.safetensors"
}
}

47
special_tokens_map.json Normal file
View File

@@ -0,0 +1,47 @@
{
"additional_special_tokens": [
"<|EOT|>",
"<|BOT|>",
"<|CALL_START|>",
"<|CALL_END|>",
"<|THINK_START|>",
"<|THINK_END|>",
"<|IMG_START|>",
"<|IMG_END|>",
"<|META_START|>",
"<|META_END|>",
"<im_patch>",
"<im_start>",
"<im_end>",
"<dream>",
"<dream_start>",
"<dream_end>",
"<|MASK_1e69f|>",
"<|UNMASK_1e69f|>",
"<video_start>",
"<video_end>",
"<patch_start>",
"<patch_end>",
"<patch_newline>",
"<begin▁of▁sentence>",
"<begin▁of▁mask>",
"<end▁of▁mask>",
"<fim▁begin>",
"<fim▁hole>",
"<end▁of▁sentence>"
],
"eos_token": {
"content": "<|im_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false
},
"pad_token": {
"content": "<|endoftext|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false
}
}

3
tokenizer.json Normal file
View File

@@ -0,0 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:217e7242c0cafb50790f703bb14e062966b997a1bc8dc980e11240f5f1d06d27
size 11428198

487
tokenizer_config.json Normal file
View File

@@ -0,0 +1,487 @@
{
"add_bos_token": false,
"add_prefix_space": false,
"added_tokens_decoder": {
"151643": {
"content": "<|endoftext|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151644": {
"content": "<|im_start|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151645": {
"content": "<|im_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151646": {
"content": "<|object_ref_start|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151647": {
"content": "<|object_ref_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151648": {
"content": "<|box_start|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151649": {
"content": "<|box_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151650": {
"content": "<|quad_start|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151651": {
"content": "<|quad_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151652": {
"content": "<|vision_start|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151653": {
"content": "<|vision_end|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151654": {
"content": "<|vision_pad|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151655": {
"content": "<|image_pad|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151656": {
"content": "<|video_pad|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151657": {
"content": "<tool_call>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151658": {
"content": "</tool_call>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151659": {
"content": "<|fim_prefix|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151660": {
"content": "<|fim_middle|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151661": {
"content": "<|fim_suffix|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151662": {
"content": "<|fim_pad|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151663": {
"content": "<|repo_name|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151664": {
"content": "<|file_sep|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151665": {
"content": "<tool_response>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151666": {
"content": "</tool_response>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151667": {
"content": "<think>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151668": {
"content": "</think>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": false
},
"151669": {
"content": "<|EOT|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151670": {
"content": "<|BOT|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151671": {
"content": "<|CALL_START|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151672": {
"content": "<|CALL_END|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151673": {
"content": "<|THINK_START|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151674": {
"content": "<|THINK_END|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151675": {
"content": "<|IMG_START|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151676": {
"content": "<|IMG_END|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151677": {
"content": "<|META_START|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151678": {
"content": "<|META_END|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151679": {
"content": "<im_patch>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151680": {
"content": "<im_start>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151681": {
"content": "<im_end>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151682": {
"content": "<dream>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151683": {
"content": "<dream_start>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151684": {
"content": "<dream_end>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151685": {
"content": "<|MASK_1e69f|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151686": {
"content": "<|UNMASK_1e69f|>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151687": {
"content": "<video_start>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151688": {
"content": "<video_end>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151689": {
"content": "<patch_start>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151690": {
"content": "<patch_end>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151691": {
"content": "<patch_newline>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151692": {
"content": "<begin▁of▁sentence>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151693": {
"content": "<begin▁of▁mask>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151694": {
"content": "<end▁of▁mask>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151695": {
"content": "<fim▁begin>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151696": {
"content": "<fim▁hole>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
},
"151697": {
"content": "<end▁of▁sentence>",
"lstrip": false,
"normalized": false,
"rstrip": false,
"single_word": false,
"special": true
}
},
"additional_special_tokens": [
"<|EOT|>",
"<|BOT|>",
"<|CALL_START|>",
"<|CALL_END|>",
"<|THINK_START|>",
"<|THINK_END|>",
"<|IMG_START|>",
"<|IMG_END|>",
"<|META_START|>",
"<|META_END|>",
"<im_patch>",
"<im_start>",
"<im_end>",
"<dream>",
"<dream_start>",
"<dream_end>",
"<|MASK_1e69f|>",
"<|UNMASK_1e69f|>",
"<video_start>",
"<video_end>",
"<patch_start>",
"<patch_end>",
"<patch_newline>",
"<begin▁of▁sentence>",
"<begin▁of▁mask>",
"<end▁of▁mask>",
"<fim▁begin>",
"<fim▁hole>",
"<end▁of▁sentence>"
],
"bos_token": null,
"clean_up_tokenization_spaces": false,
"eos_token": "<|im_end|>",
"errors": "replace",
"extra_special_tokens": {},
"model_max_length": 131072,
"pad_token": "<|endoftext|>",
"split_special_tokens": false,
"tokenizer_class": "Qwen2Tokenizer",
"unk_token": null
}

BIN
vocab.json (Stored with Git LFS) Normal file

Binary file not shown.