Mindket

Limite 1B - Violetto

新上架第 1 版 · 更新于

概览

用一个从头训练的 1B 参数模型解决难度很高的数学题,追求高速、大批量的推理。适合在 NVIDIA GPU 上运行数学任务的开发者。

Limite 1B - Violetto 是一款工具包,属于教育类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。

速览

你需要
  • 一台 Linux x86-64 机器、一块 NVIDIA GPU,以及支持 CUDA 13.0 的驱动
  • Python 3.12 和 uv 工具
  • 卡片验证过的软件包版本:Transformers 5.6.2、PyTorch 2.11.0 和 vLLM 0.26.0
  • 来自项目 GitHub 仓库的插件代码
用在
  • 带 NVIDIA GPU 的 Linux x86-64,通过 vLLM 和 Limite 插件
  • Python 配合 Transformers,已在 NVIDIA H100 上验证
  • 数学解题服务和评测流水线
先运行
pip install -U huggingface_hub

平台

Linux操作系统

关于

它是什么

Limite 1B Violetto 是 Paradigma 的第一个模型,专为高速解决高难度数学题而做。它是一个稠密的 1B 参数 transformer,从头训练,用的是不到 300B 个精心挑选的词元,能处理长达 131k 词元的输入。预训练之后,又用了合成数据、精选的微调和强化学习。

适合谁

它适合需要小模型来解竞赛级数学题的开发者、研究人员和学生。它是为数学调教的,不是通用聊天模型。

IndustryWho uses itHow they use itExample
教育数学老师和学生做竞赛风格的题目检查一道竞赛题的解答
研究AI 研究人员研究小模型如何取得强劲的数学成绩在数学基准上和大得多的模型做对比
软件数学工具开发者在一块 GPU 上快速处理大量数学查询在 API 后面运行一个数学解题器

想要一个日常写作通用助手的人可以跳过它。

用在哪里

  • 带 NVIDIA GPU 的 Linux x86-64,通过 vLLM 和 Limite 插件
  • Python 配合 Transformers,已在 NVIDIA H100 上验证
  • 数学解题服务和评测流水线
Use caseWhoWhat they get back
竞赛数学学生和老师一道难题的详细解答
大批量服务开发者一个小模型每秒给出许多数学答案
基准研究研究人员竞赛风格数学题集上的得分

如何设置

  • 一台 Linux x86-64 机器、一块 NVIDIA GPU,以及支持 CUDA 13.0 的驱动
  • Python 3.12 和 uv 工具
  • 卡片验证过的软件包版本:Transformers 5.6.2、PyTorch 2.11.0 和 vLLM 0.26.0
  • 来自项目 GitHub 仓库的插件代码
  1. 安装 Hugging Face hub 软件包。
  2. 下载模型文件。
  3. 从 GitHub 获取插件,然后在它的文件夹里用 locked 选项运行 uv sync。
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",
)
ToolWhat 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%。一些对比得分来自其他来源,没有重新测过。

  1. 你发送一道数学题
  2. 聊天模板构建提示词
  3. 模型对题目进行推理
  4. 生成答案

注意事项

  • License: Apache 2.0。
  • Cost to run: 未提及。你需要自己的 NVIDIA GPU。
  • Data it reaches: 它在第一次使用时从 Hugging Face Hub 下载文件,然后在你的机器上运行。
  • Not for: 未经测试的配置。卡片说其他版本和硬件组合还没有正式验证。
BeyondAIME 平均得分
Limite 1B Violetto74.25 percent
MUSE-Glimmer-30B70 percent

README 和文件

README

Limite 1B - Violetto

用一个从头训练的 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 后面运行一个数学解题器

想要一个日常写作通用助手的人可以跳过它。

用在哪里:

  • 带 NVIDIA GPU 的 Linux x86-64,通过 vLLM 和 Limite 插件
  • Python 配合 Transformers,已在 NVIDIA H100 上验证
  • 数学解题服务和评测流水线
Use case | Who | What they get back
竞赛数学 | 学生和老师 | 一道难题的详细解答
大批量服务 | 开发者 | 一个小模型每秒给出许多数学答案
基准研究 | 研究人员 | 竞赛风格数学题集上的得分

如何设置:

  • 一台 Linux x86-64 机器、一块 NVIDIA GPU,以及支持 CUDA 13.0 的驱动
  • Python 3.12 和 uv 工具
  • 卡片验证过的软件包版本:Transformers 5.6.2、PyTorch 2.11.0 和 vLLM 0.26.0
  • 来自项目 GitHub 仓库的插件代码
  1. 安装 Hugging Face hub 软件包。
  2. 下载模型文件。
  3. 从 GitHub 获取插件,然后在它的文件夹里用 locked 选项运行 uv sync。
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%。一些对比得分来自其他来源,没有重新测过。

你发送一道数学题
聊天模板构建提示词
模型对题目进行推理
生成答案

注意事项:

  • License: Apache 2.0。
  • Cost to run: 未提及。你需要自己的 NVIDIA GPU。
  • Data it reaches: 它在第一次使用时从 Hugging Face Hub 下载文件,然后在你的机器上运行。
  • Not for: 未经测试的配置。卡片说其他版本和硬件组合还没有正式验证。
Title: BeyondAIME 平均得分
Limite 1B Violetto: 74.25 percent
MUSE-Glimmer-30B: 70 percent

Hugging Face 上的数据(2026年11月13日)

  • 任务:text generation
  • 参数量:1B
  • Weights: about 2.1 GB in BF16; about 518 MB at 4-bit (estimate)
  • Formats: Safetensors
  • 最近 30 天下载:3,985
  • 点赞:145
  • 许可证:apache-2.0
  • Quantized versions: 10
  • Fine-tunes: 3
  • 标签:safetensors, limite, mathematics, reasoning, vllm, text-generation, conversational

链接

  • 模型:https://huggingface.co/paradigma-inc/limite-1b-violetto
  • 文件:https://huggingface.co/paradigma-inc/limite-1b-violetto/tree/main

获取模型

用 Hugging Face 的命令行下载它的文件:

pip install -U huggingface_hub
hf download paradigma-inc/limite-1b-violetto

然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。

文件
README.md  5 KB

1 个文件,共 5 KB,以 zip 压缩包下载。

更新内容

  • 第 1 版 · 2026-11-13

同类产品对比

同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。

产品最近 30 天下载点赞参数量许可证最近更新
Limite 1B - Violetto 本页3,9851451Bapache-2.0
Agaram 2.5B共有 conversational · safetensors · text-generation1,296112.5Bapache-2.0
mine:o1-nano共有 text-generation687—apache-2.0
Drone Transcripter 4共有 safetensors05—apache-2.0
数据为 Mindket 在 2026-11-12 至 2026-11-13 期间读取的数值。

评价

还没有评分

写评价

还没有评价。

Mindket 的更多商品

查看 Mindket 的全部商品

Bonsai-27B-GGUF

lmstudio-community · 工具包

面向 LM Studio 的 27B Bonsai 模型 GGUF 转换版,含 3.80 GB 的 Q1_0 语言文件和 0.93 GB 的 BF16 视觉投影器。已测试文本、视觉和并行工具调用。

新上架

以每权重 2.9 位的 EXL3 量化运行 DeepSeek-V4.1-Flash-1017,这是一份 196 GiB 的副本,适合在自己硬件上部署大模型的人。困惑度与原模型相差不大。

新上架

MusicGen Small

facebook · 工具包

根据文字描述或音频提示生成短音乐片段,是 facebook MusicGen 的 small 检查点。适合想在自己电脑上试用文字生成音乐的开发者和音乐爱好者。

新上架

教育类的相似商品

查看教育类的全部商品

Vāgdhenu

prathoshap · 工具包

用一个训练好的声音,以吟诵风格朗读古典梵语诗节,由参考音频决定节奏。适合学习、背诵或需要梵语音频的人。

新上架

Agaram 2.5B

murai-labs · 工具包

能用泰米尔文、罗马化泰米尔语和英语聊天,也能在泰米尔语和英语之间翻译。这是 Murai Labs 从零训练的 2.5B 模型,适合泰米尔语使用者、研究人员和开发者。

新上架

mine:o1-nano

MineAITechnology · 工具包

一个用 JAX 和 Flax 从零训练的 124M 参数 GPT-2 风格语言模型,附带可在 CPU 上使用的 ONNX 文件。适合研究小模型训练的学生和研究者。

新上架