Bonsai-27B-GGUF
lmstudio-community · 工具包
面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。
用一个从头训练的 1B 参数模型解决难度很高的数学题,追求高速、大批量的推理。适合在 NVIDIA GPU 上运行数学任务的开发者。
Limite 1B - Violetto 是一款工具包,属于教育类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。
pip install -U huggingface_hub
Limite 1B Violetto 是 Paradigma 的第一个模型,专为高速解决高难度数学题而做。它是一个稠密的 1B 参数 transformer,从头训练,用的是不到 300B 个精心挑选的词元,能处理长达 131k 词元的输入。预训练之后,又用了合成数据、精选的微调和强化学习。
它适合需要小模型来解竞赛级数学题的开发者、研究人员和学生。它是为数学调教的,不是通用聊天模型。
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| 教育 | 数学老师和学生 | 做竞赛风格的题目 | 检查一道竞赛题的解答 |
| 研究 | AI 研究人员 | 研究小模型如何取得强劲的数学成绩 | 在数学基准上和大得多的模型做对比 |
| 软件 | 数学工具开发者 | 在一块 GPU 上快速处理大量数学查询 | 在 API 后面运行一个数学解题器 |
想要一个日常写作通用助手的人可以跳过它。
| Use case | Who | What they get back |
|---|---|---|
| 竞赛数学 | 学生和老师 | 一道难题的详细解答 |
| 大批量服务 | 开发者 | 一个小模型每秒给出许多数学答案 |
| 基准研究 | 研究人员 | 竞赛风格数学题集上的得分 |
pip install -U huggingface_hub
hf download paradigma-inc/limite-1b-violetto
cd limite-violetto uv sync --locked
在插件文件夹里,启用 Limite 插件来启动 vLLM 服务器。卡片推荐 temperature 为 0.6、top_p 为 0.95,除非你的请求另行指定,否则会自动加载这些值。张量并行和流水线并行的大小都保持为 1。
VLLM_PLUGINS=limite uv run --locked vllm serve paradigma-inc/limite-1b-violetto
另一条路是 Transformers。加载时需要把 trust_remote_code 设为 True,因为架构代码来自这个仓库。
import torch
from transformers import AutoModelForCausalLM, AutoTokenizer
model_id = "paradigma-inc/limite-1b-violetto"
tokenizer = AutoTokenizer.from_pretrained(
model_id,
trust_remote_code=True,
)
model = AutoModelForCausalLM.from_pretrained(
model_id,
trust_remote_code=True,
dtype="auto",
device_map="cuda",
attn_implementation="sdpa",
)| Tool | What it does |
|---|---|
| vllm serve | 带 Limite 插件,把模型作为服务器启动 |
| uv sync --locked | 安装插件及其锁定的依赖 |
| trust_remote_code | 让 Transformers 加载自定义的架构代码 |
你问模型一道简短的代数题,比如当 x 加 3 等于 8 时求 x。你通过聊天模板发送,生成最多 256 个新词元。模型会回复一个解答。
这个模型是数学题的专家,而且小到一块 GPU 就能运行。第一步可以用 Transformers 示例问一道简单的题。别指望它在聊天上有同样的表现。
它的样本效率来自数据筛选,以及受社区预训练速通比赛启发的架构。卡片报告它在 BeyondAIME 上的平均分是 74.25%,对比 30B 的 MUSE-Glimmer 模型是 70%。一些对比得分来自其他来源,没有重新测过。
用一个从头训练的 1B 参数模型解决难度很高的数学题,追求高速、大批量的推理。适合在 NVIDIA GPU 上运行数学任务的开发者。
由 paradigma-inc 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的,模型自己的文件和许可证在 Hugging Face 上。
它是什么:Limite 1B Violetto 是 Paradigma 的第一个模型,专为高速解决高难度数学题而做。它是一个稠密的 1B 参数 transformer,从头训练,用的是不到 300B 个精心挑选的词元,能处理长达 131k 词元的输入。预训练之后,又用了合成数据、精选的微调和强化学习。
适合谁:它适合需要小模型来解竞赛级数学题的开发者、研究人员和学生。它是为数学调教的,不是通用聊天模型。
Industry | Who uses it | How they use it | Example
教育 | 数学老师和学生 | 做竞赛风格的题目 | 检查一道竞赛题的解答
研究 | AI 研究人员 | 研究小模型如何取得强劲的数学成绩 | 在数学基准上和大得多的模型做对比
软件 | 数学工具开发者 | 在一块 GPU 上快速处理大量数学查询 | 在 API 后面运行一个数学解题器
想要一个日常写作通用助手的人可以跳过它。
用在哪里:
Use case | Who | What they get back
竞赛数学 | 学生和老师 | 一道难题的详细解答
大批量服务 | 开发者 | 一个小模型每秒给出许多数学答案
基准研究 | 研究人员 | 竞赛风格数学题集上的得分
如何设置:
pip install -U huggingface_hub
hf download paradigma-inc/limite-1b-violetto
cd limite-violetto
uv sync --locked
如何使用:在插件文件夹里,启用 Limite 插件来启动 vLLM 服务器。卡片推荐 temperature 为 0.6、top_p 为 0.95,除非你的请求另行指定,否则会自动加载这些值。张量并行和流水线并行的大小都保持为 1。
VLLM_PLUGINS=limite uv run --locked vllm serve paradigma-inc/limite-1b-violetto
另一条路是 Transformers。加载时需要把 trust_remote_code 设为 True,因为架构代码来自这个仓库。
import torch
from transformers import AutoModelForCausalLM, AutoTokenizer
model_id = "paradigma-inc/limite-1b-violetto"
tokenizer = AutoTokenizer.from_pretrained(
model_id,
trust_remote_code=True,
)
model = AutoModelForCausalLM.from_pretrained(
model_id,
trust_remote_code=True,
dtype="auto",
device_map="cuda",
attn_implementation="sdpa",
)
Tool | What it does
vllm serve | 带 Limite 插件,把模型作为服务器启动
uv sync --locked | 安装插件及其锁定的依赖
trust_remote_code | 让 Transformers 加载自定义的架构代码
示例:你问模型一道简短的代数题,比如当 x 加 3 等于 8 时求 x。你通过聊天模板发送,生成最多 256 个新词元。模型会回复一个解答。
新手与专家:这个模型是数学题的专家,而且小到一块 GPU 就能运行。第一步可以用 Transformers 示例问一道简单的题。别指望它在聊天上有同样的表现。
它的样本效率来自数据筛选,以及受社区预训练速通比赛启发的架构。卡片报告它在 BeyondAIME 上的平均分是 74.25%,对比 30B 的 MUSE-Glimmer 模型是 70%。一些对比得分来自其他来源,没有重新测过。
你发送一道数学题
聊天模板构建提示词
模型对题目进行推理
生成答案
注意事项:
Title: BeyondAIME 平均得分
Limite 1B Violetto: 74.25 percent
MUSE-Glimmer-30B: 70 percent
用 Hugging Face 的命令行下载它的文件:
pip install -U huggingface_hub
hf download paradigma-inc/limite-1b-violetto
然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。
README.md 5 KB
同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。
| 产品 | 最近 30 天下载 | 点赞 | 参数量 | 许可证 | 最近更新 |
|---|---|---|---|---|---|
| Limite 1B - Violetto 本页 | 3,985 | 145 | 1B | apache-2.0 | |
| Agaram 2.5B共有 conversational · safetensors · text-generation | 1,296 | 11 | 2.5B | apache-2.0 | |
| mine:o1-nano共有 text-generation | 68 | 7 | — | apache-2.0 | |
| Drone Transcripter 4共有 safetensors | 0 | 5 | — | apache-2.0 |
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 检查点。适合想在自己电脑上试用文字生成音乐的开发者和音乐爱好者。
prathoshap · 工具包
用一个训练好的声音,以吟诵风格朗读古典梵语诗节,由参考音频决定节奏。适合学习、背诵或需要梵语音频的人。
murai-labs · 工具包
能用泰米尔文、罗马化泰米尔语和英语聊天,也能在泰米尔语和英语之间翻译。这是 Murai Labs 从零训练的 2.5B 模型,适合泰米尔语使用者、研究人员和开发者。
MineAITechnology · 工具包
一个用 JAX 和 Flax 从零训练的 124M 参数 GPT-2 风格语言模型,附带可在 CPU 上使用的 ONNX 文件。适合研究小模型训练的学生和研究者。