DeepSeek-R1-GGUF
unsloth · 工具包
671B 参数 DeepSeek-R1 推理模型的 GGUF 版本,带 1.58-bit 和 2-bit 动态量化,可在内存足够的本机上用 llama.cpp 运行。
用一个会自我改进的编程智能体修复软件 bug,它从自己成功的运行中学习可复用的推理模式,适合做仓库级 bug 修复的开发者和研究人员。
Seshat Agent 是一款工具包,属于开发类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。
pip install -U huggingface_hub hf download PCL-RSI-lab/Seshat-agent
Seshat 是一个会随时间自我改进的软件工程编程智能体。它运行在 MetaEvo 上,MetaEvo 保存从过去成功尝试中提取的推理模式,并在新任务到来时把相关的模式送回模型。作者报告称,把它加到现有的基础智能体上,在两个修复 bug 的基准上提升很大。
如果你做自动化 bug 修复,想研究或试用一个自我改进的智能体,它适合你,开发者和研究人员尤其合适。
| 行业 | 谁在用 | 怎么用 | 例子 |
|---|---|---|---|
| 软件 | 工程团队 | 试用能修复仓库里 bug 的智能体 | 把它指向一个失败的问题,然后审查它的补丁 |
| AI 研究 | 智能体研究人员 | 研究编程智能体的自我改进循环 | 对比有无 MetaEvo 的基础智能体 |
| 基准测试 | 评估团队 | 对照公开的证据检查结果 | 阅读作者发布的逐实例补丁 |
如果你想要普通聊天模型,或者有命令文档、能直接运行的工具,可以跳过它。
| 用途 | 适合谁 | 得到什么 |
|---|---|---|
| 修复 bug | 开发者 | 针对仓库问题提出的补丁 |
| 自我改进研究 | 研究人员 | 一个存储并复用推理模式的循环 |
| 基准运行 | 评估人员 | 在修复 bug 的测试集上的解决率 |
你需要 Python 和来自 Hugging Face 的文件。模型卡可见的部分没有给出运行步骤,所以把它当作研究资料,在基于它开发之前先查看模型卡的其余部分。
pip install -U huggingface_hub hf download PCL-RSI-lab/Seshat-agent
模型卡可见的部分没有给出命令。根据它的描述,一个任务比如 bug 报告输入进去,路由器挑出最相关的已存推理模式,基础模型带着它们去推理,同时有一个评判器在旁监控。成功的运行随后会补充知识库。
你把仓库里的一份 bug 报告交给智能体。它用已存的模式搭出一份量身定制的推理计划,着手修复,成功的修复会加入它的知识库,供以后的任务使用。
你可以把它看作一个会记笔记、并在新问题上复用笔记的程序员。第一小步是阅读模型卡的结果表和公开的评估证据。
MetaEvo 存储的是紧凑的推理原语,比如分解、自我验证和工具调用模式,而不是原始文本记忆。运行时,它把挑选好的路径逐层注入模型,元评判器可以决定继续、改路或重新规划。离线时,它从成功的轨迹中挖掘新的原语。
作者报告称,Seshat 把 Kimi K3 智能体在 SWE-Bench Pro 上的得分从 57.7% 提到 94.94%,把 GLM-5.3 智能体在 DeepSWE-v1.1 上的得分从 59.3% 提到 90.3%。他们公布了补丁和逐实例结果作为证据。这些都是他们自己的结果。
用一个会自我改进的编程智能体修复软件 bug,它从自己成功的运行中学习可复用的推理模式,适合做仓库级 bug 修复的开发者和研究人员。
由 PCL-RSI-lab 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的,模型自己的文件和许可证在 Hugging Face 上。
它是什么:Seshat 是一个会随时间自我改进的软件工程编程智能体。它运行在 MetaEvo 上,MetaEvo 保存从过去成功尝试中提取的推理模式,并在新任务到来时把相关的模式送回模型。作者报告称,把它加到现有的基础智能体上,在两个修复 bug 的基准上提升很大。
适合谁:如果你做自动化 bug 修复,想研究或试用一个自我改进的智能体,它适合你,开发者和研究人员尤其合适。
Title: Who uses this model
行业 | 谁在用 | 怎么用 | 例子
软件 | 工程团队 | 试用能修复仓库里 bug 的智能体 | 把它指向一个失败的问题,然后审查它的补丁
AI 研究 | 智能体研究人员 | 研究编程智能体的自我改进循环 | 对比有无 MetaEvo 的基础智能体
基准测试 | 评估团队 | 对照公开的证据检查结果 | 阅读作者发布的逐实例补丁
如果你想要普通聊天模型,或者有命令文档、能直接运行的工具,可以跳过它。
用在哪里:
Title: Jobs it does
用途 | 适合谁 | 得到什么
修复 bug | 开发者 | 针对仓库问题提出的补丁
自我改进研究 | 研究人员 | 一个存储并复用推理模式的循环
基准运行 | 评估人员 | 在修复 bug 的测试集上的解决率
如何设置:你需要 Python 和来自 Hugging Face 的文件。模型卡可见的部分没有给出运行步骤,所以把它当作研究资料,在基于它开发之前先查看模型卡的其余部分。
pip install -U huggingface_hub
hf download PCL-RSI-lab/Seshat-agent
如何使用:模型卡可见的部分没有给出命令。根据它的描述,一个任务比如 bug 报告输入进去,路由器挑出最相关的已存推理模式,基础模型带着它们去推理,同时有一个评判器在旁监控。成功的运行随后会补充知识库。
示例:你把仓库里的一份 bug 报告交给智能体。它用已存的模式搭出一份量身定制的推理计划,着手修复,成功的修复会加入它的知识库,供以后的任务使用。
新手与专家:你可以把它看作一个会记笔记、并在新问题上复用笔记的程序员。第一小步是阅读模型卡的结果表和公开的评估证据。
MetaEvo 存储的是紧凑的推理原语,比如分解、自我验证和工具调用模式,而不是原始文本记忆。运行时,它把挑选好的路径逐层注入模型,元评判器可以决定继续、改路或重新规划。离线时,它从成功的轨迹中挖掘新的原语。
问题进来
路由器挑出已存的推理模式
计划被注入模型
元评判器监控每一步
成功的运行更新知识库
注意事项:作者报告称,Seshat 把 Kimi K3 智能体在 SWE-Bench Pro 上的得分从 57.7% 提到 94.94%,把 GLM-5.3 智能体在 DeepSWE-v1.1 上的得分从 59.3% 提到 90.3%。他们公布了补丁和逐实例结果作为证据。这些都是他们自己的结果。
Title: Resolve rate reported by the authors
SWE-Bench Pro 上单独的 Kimi K3: 57.7 %
SWE-Bench Pro 上 Kimi K3 加 Seshat: 94.94 %
DeepSWE-v1.1 上单独的 GLM-5.3: 59.3 %
DeepSWE-v1.1 上 GLM-5.3 加 Seshat: 90.3 %
用 Hugging Face 的命令行下载它的文件:
pip install -U huggingface_hub
hf download PCL-RSI-lab/Seshat-agent
然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。
README.md 5 KB
同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。
| 产品 | 最近 30 天下载 | 点赞 | 参数量 | 许可证 | 最近更新 |
|---|---|---|---|---|---|
| Seshat Agent 本页 | 0 | 7 | — | apache-2.0 | |
| Terminal-RSI-27B共有 recursive-self-improvement · text-generation · transformers | 2,536 | 33 | 27.8B | apache-2.0 | |
| Kimi-K3.1-Dflash2-Preview共有 kimi · text-generation | 3,682 | 6 | 2.8B | apache-2.0 | |
| MiMo-V2.6-Flash-RL共有 agent · text-generation · transformers | 64,057 | 594 | 311B | mit | |
| MiMo-V2.6-Pro-RL共有 agent · text-generation · transformers | 24,207 | 818 | 1T | mit | |
| MiMo-V2.6-Pro-MOPD共有 agent · text-generation · transformers | 20,162 | 49 | 1T | mit |
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。适合训练或运行图像放大模型的人。
lmstudio-community · 工具包
面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。
LibertAIDAI · 工具包
以每权重 2.9 位的 EXL3 量化运行 DeepSeek-V4.1-Flash-1017,这是一份 196 GiB 的副本,适合在自己硬件上部署大模型的人。困惑度与原模型相差不大。
facebook · 工具包
根据文字描述或音频提示生成短音乐片段,是 facebook MusicGen 的 small 检查点。适合想在自己电脑上试用文字生成音乐的开发者和音乐爱好者。