DeepSeek-R1-GGUF
unsloth · 工具包
671B 参数 DeepSeek-R1 推理模型的 GGUF 版本,带 1.58-bit 和 2-bit 动态量化,可在内存足够的本机上用 llama.cpp 运行。
一个由 LLM 在不训练的情况下编辑了两个权重矩阵的 Qwen3.5-0.8B,用来消除它的思考死循环并提升数学能力。这是面向研究人员和小模型用户的实验性模型。
Qwen3.5-0.8B-weight-space-programming 是一款工具包,属于研究类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。
pip install -U huggingface_hub hf download RikiyaT/Qwen3.5-0.8B-weight-space-programming
这是权重被一个 LLM 编辑过的 Qwen3.5-0.8B,模型卡把这个 LLM 称为 Astra,整个过程没有梯度下降,也没有训练。Astra 只能让模型前向运行 50 次,用的是数学练习题。它把基础模型的思考死循环,和第 15 层与第 19 层的 MLP 写出的同一个方向联系起来。然后从每层下投影的 64 列里去掉了这个方向。这涉及 131,072 个权重,占整个模型的 0.016%。
研究模型编辑的研究人员,以及想要一个能把数学推理做完、而不是陷入循环的 0.8B 小模型的人。
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| 研究 | 模型编辑研究人员 | 研究一种不经训练的编辑 | 对照基础模型检查两个被改动的张量 |
| 软件 | 开发者 | 运行一个处理数学提示词的小模型 | 用 vLLM 部署它 |
| 教育 | 学生 | 研究思考死循环为什么会出现 | 阅读模型卡对这次编辑的说明 |
如果你需要广泛且经过验证的质量,可以跳过它,因为模型卡描述的是一个实验,只报告了数学和指令类基准。
| Use case | Who | What they get back |
|---|---|---|
| 解数学题 | 开发者 | 通常能在 token 上限内完成的逐步解答 |
| 验证编辑 | 研究人员 | 两个被改动张量的校验和相符 |
| 测试小模型 | 爱好者 | 一个可以在普通硬件上运行的小模型 |
pip install -U huggingface_hub hf download RikiyaT/Qwen3.5-0.8B-weight-space-programming
用分词器的聊天模板构建提示词并开启思考,然后用模型卡的设置采样。模型卡要求逐步推理,并把最终答案放进方框里。
from vllm import LLM, SamplingParams from transformers import AutoTokenizer ckpt = "RikiyaT/Qwen3.5-0.8B-weight-space-programming" tok = AutoTokenizer.from_pretrained(ckpt) llm = LLM(model=ckpt, dtype="bfloat16", max_model_len=34816)
sp = SamplingParams(n=1, temperature=0.6, top_p=0.95, top_k=20, presence_penalty=1.5,
max_tokens=32768, seed=0)
print(llm.generate([prompt], sp)[0].outputs[0].text)| Tool | What it does |
|---|---|
| LLM | 在 vLLM 里加载模型 |
| SamplingParams | 设置温度、top p、top k 和 token 上限 |
| apply_chat_template | 构建提示词,并开启思考 |
问它一道简短的算术题,要求逐步推理并把最终答案放进方框。编辑后的模型应该能想清楚并完成,而基础模型往往会一直循环到 token 上限。
如果你是新手,先试托管的演示。在演示里输入一道数学题,对比两个模型怎么处理它。
如果你熟悉这个领域,只有两个张量和基础模型不同,即第 15 层和第 19 层的下投影权重,模型卡给出了它们的校验和。那篇文章评测的是纯文本导出版本,而这个仓库放的是完整的多模态版本,语言模型张量完全相同。
一个由 LLM 在不训练的情况下编辑了两个权重矩阵的 Qwen3.5-0.8B,用来消除它的思考死循环并提升数学能力。这是面向研究人员和小模型用户的实验性模型。
由 RikiyaT 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的,模型自己的文件和许可证在 Hugging Face 上。
它是什么:这是权重被一个 LLM 编辑过的 Qwen3.5-0.8B,模型卡把这个 LLM 称为 Astra,整个过程没有梯度下降,也没有训练。Astra 只能让模型前向运行 50 次,用的是数学练习题。它把基础模型的思考死循环,和第 15 层与第 19 层的 MLP 写出的同一个方向联系起来。然后从每层下投影的 64 列里去掉了这个方向。这涉及 131,072 个权重,占整个模型的 0.016%。
适合谁:研究模型编辑的研究人员,以及想要一个能把数学推理做完、而不是陷入循环的 0.8B 小模型的人。
Industry | Who uses it | How they use it | Example
研究 | 模型编辑研究人员 | 研究一种不经训练的编辑 | 对照基础模型检查两个被改动的张量
软件 | 开发者 | 运行一个处理数学提示词的小模型 | 用 vLLM 部署它
教育 | 学生 | 研究思考死循环为什么会出现 | 阅读模型卡对这次编辑的说明
如果你需要广泛且经过验证的质量,可以跳过它,因为模型卡描述的是一个实验,只报告了数学和指令类基准。
用在哪里:
Use case | Who | What they get back
解数学题 | 开发者 | 通常能在 token 上限内完成的逐步解答
验证编辑 | 研究人员 | 两个被改动张量的校验和相符
测试小模型 | 爱好者 | 一个可以在普通硬件上运行的小模型
如何设置:
pip install -U huggingface_hub
hf download RikiyaT/Qwen3.5-0.8B-weight-space-programming
如何使用:用分词器的聊天模板构建提示词并开启思考,然后用模型卡的设置采样。模型卡要求逐步推理,并把最终答案放进方框里。
from vllm import LLM, SamplingParams
from transformers import AutoTokenizer
ckpt = "RikiyaT/Qwen3.5-0.8B-weight-space-programming"
tok = AutoTokenizer.from_pretrained(ckpt)
llm = LLM(model=ckpt, dtype="bfloat16", max_model_len=34816)
sp = SamplingParams(n=1, temperature=0.6, top_p=0.95, top_k=20, presence_penalty=1.5,
max_tokens=32768, seed=0)
print(llm.generate([prompt], sp)[0].outputs[0].text)
Tool | What it does
LLM | 在 vLLM 里加载模型
SamplingParams | 设置温度、top p、top k 和 token 上限
apply_chat_template | 构建提示词,并开启思考
示例:问它一道简短的算术题,要求逐步推理并把最终答案放进方框。编辑后的模型应该能想清楚并完成,而基础模型往往会一直循环到 token 上限。
新手与专家:如果你是新手,先试托管的演示。在演示里输入一道数学题,对比两个模型怎么处理它。
如果你熟悉这个领域,只有两个张量和基础模型不同,即第 15 层和第 19 层的下投影权重,模型卡给出了它们的校验和。那篇文章评测的是纯文本导出版本,而这个仓库放的是完整的多模态版本,语言模型张量完全相同。
Astra 探查基础模型的思考死循环
它在两层里找到一个方向
把它从输出列里减去
编辑后的模型完成更多的回答
Title: 数学和指令得分,基础模型对比编辑后
MATH-500 基础模型: 7.9 percent
MATH-500 编辑后: 48.1 percent
GSM8K 基础模型: 13.8 percent
GSM8K 编辑后: 67.1 percent
IFEval 基础模型: 21.0 percent
IFEval 编辑后: 62.3 percent
注意事项:
用 Hugging Face 的命令行下载它的文件:
pip install -U huggingface_hub
hf download RikiyaT/Qwen3.5-0.8B-weight-space-programming
然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。
README.md 6 KB
同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。
| 产品 | 最近 30 天下载 | 点赞 | 参数量 | 许可证 | 最近更新 |
|---|---|---|---|---|---|
| Qwen3.5-0.8B-weight-space-programming 本页 | 4,374 | 137 | 873M | apache-2.0 | |
| Qwen3.5-0.8B-weight-space-programming共有 ml-intern · weight-space-programming · qwen3_5 | 1,177 | 70 | 873M | apache-2.0 | |
| Qwen-Image-Bench共有 qwen3_5 · image-text-to-text · conversational | 20,875 | 116 | 27.4B | apache-2.0 | |
| NV-Reason-CT共有 qwen3_5 · image-text-to-text · conversational | 5,524 | 94 | 5.3B | openmdw-1.1 | |
| Quark共有 qwen3_5 · image-text-to-text · conversational | 107 | 7 | 9.7B | apache-2.0 | |
| EarthJev共有 qwen3_5 · image-text-to-text · transformers | 159 | 2 | 1.1B | apache-2.0 |
Hacker News、Bluesky、X、Reddit、Facebook 和 YouTube 上提到这个项目的帖子和评论,来自每周一次的搜索和 Trendshift。它们不是 Mindket 写的,也未经核实,点开即可在原帖处阅读。
unsloth · 工具包
671B 参数 DeepSeek-R1 推理模型的 GGUF 版本,带 1.58-bit 和 2-bit 动态量化,可在内存足够的本机上用 llama.cpp 运行。
prithivMLmods · 工具包
提供 Axion-1.0-35B 的 GGUF 文件,这是一个有约 30 亿激活参数的 35B 混合专家模型,面向科学推理、信息查找和工具使用。适合配合 llama.cpp 在本地使用。
Phips · 工具包
用一个超分辨率网络放大低分辨率图像,可以在一块消费级 GPU 上训练,并导出为 ONNX。适合训练或运行图像放大模型的人。
allenai · 工具包
allenai 的 ToyBlocks 积木堆叠项目的底层动作模型,用模拟的 Franka 机械臂数据训练,能在桌面上拾取、放置和旋转三块积木。这是面向机器人学的研究模型。
AbdomenAtlas · 工具包
在 CT 扫描上检测并勾画 9 个器官的肿瘤,使用从放射学报告中学习的 R-Super 方法训练。这是面向医学影像团队的研究模型,采用非商业许可。
dBenf · 工具包
回答关于卫星图像块的类型化问题,使用 Sentinel-2 的全部 12 个波段,为每个选项返回概率,不生成文字。这是 Qwen3.5-0.8B 的微调版本,适合地球观测研究者。