gemma-4-12b-constraintkit

gemma-4-12b-constraintkit

一个 12B 的 Gemma 微调模型，把普通英语变成 constraint-kit CAD 系统用的零件与配合程序，请求超出范围时会如实说明，适合创客和工程师。

由 shib79 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的，模型自己的文件和许可证在 Hugging Face 上。

简介

它是什么：gemma-4-12b-constraintkit 是 shib79 为 constraint-kit 微调的 Gemma 4 12B 模型，constraint-kit 是一个独立的开源文字转 CAD 系统。你用普通英语描述一个零件或装配体。模型先推理，再写一个小程序，列出零件、它们的参数和零件之间的配合。constraint-kit 随后生成精确的实体，求解装配，并导出 STEP 等文件。如果请求超出系统能建模的范围，模型会回复一条 unsupported 说明和理由，而不是乱猜。

适合谁：如果你想要能对照真实几何结构检查的 CAD 输出，或者研究用验证器做训练，它适合你，机械工程师、创客和开发者尤其合适。

Title: Who uses this model
行业 | 谁在用 | 怎么用 | 例子
工程 | 机械工程师 | 根据文字描述起草零件和装配体 | 要求三个垫片叠在一起
创客 | 爱好者 | 把想法变成 CAD 程序 | 描述一个零件，再用 constraint-kit 构建它
AI 研究 | 研究人员 | 研究来自 CAD 验证器的奖励信号 | 对比监督阶段和 GRPO 阶段

如果你想让模型直接给出网格或成品图纸，可以跳过它，因为它写的是一个必须由 constraint-kit 编译的程序。

用在哪里：

• llama.cpp，通过 llama-server，使用 GGUF 文件
• constraint-kit，负责编译模型程序的独立项目
• 装有 Python 的 Windows、macOS 或 Linux，用来下载文件

Title: Jobs it does
用途 | 适合谁 | 得到什么
文字转 CAD 程序 | 工程师 | 一个包含零件、参数和配合的程序
诚实地拒绝 | 需要信任的团队 | 对超出范围的请求给出带理由的 unsupported 回答
可见的推理 | 审阅者 | 每个程序之前的思考过程
通过 constraint-kit 导出 | 创客 | STEP 或 GLB 文件、零件清单、质量和图纸

如何设置：你需要 Python 来下载，一个 llama.cpp 构建，以及放得下 9.8 GB 的 Q6_K GGUF 文件的空间。模型卡还提供一个 251 MB 的 LoRA 适配器，对应 unsloth 的 Gemma 4 12B 基础模型。仓库里有 train_sys.txt，是训练时使用的系统提示词。模型卡把它标为必需，因为训练从没用过别的提示词。

• 带 pip 的 Python
• 一个包含 llama-server 的 llama.cpp 构建
• 约 9.8 GB 的可用磁盘空间，放 Q6_K 文件
• constraint-kit，用来把程序变成真实的实体

1. 安装 huggingface_hub。
2. 下载仓库文件，包括 train_sys.txt。
3. 用 GGUF 文件启动 llama-server。
4. 把训练时的系统提示词和你的普通英语请求一起发送。

pip install -U huggingface_hub
hf download shib79/gemma-4-12b-constraintkit-GGUF

llama-server -m gemma4-12b-constraintkit-grpo-Q6_K.gguf -c 8192 -ngl 99 --port 8086

如何使用：服务器运行起来后，先发送 train_sys.txt 里的系统提示词，再发送你的请求。模型回复它的推理和一个程序，你把这个程序交给 constraint-kit。这里能看到的模型卡部分在服务器命令之后就结束了，所以请到完整的模型卡里查看准确的调用方式。

Title: Main command pieces
工具 | 作用
hf download | 从仓库下载文件
llama-server -m | 用模型文件启动服务器
-c 8192 | 设置上下文大小
-ngl 99 | 把模型的层放到 GPU 上
--port 8086 | 设置服务器使用的端口

示例：你要求三个叠放的垫片，每个直径 12 毫米，孔径 5 毫米，高 8 毫米。模型写出一个有三个垫片零件的程序，配合关系把每一个的顶部连到下一个的底部。如果你要一个螺旋锥齿轮，它会拒绝，并说只建模了直齿锥齿轮。

新手与专家：CAD 是计算机辅助设计，也就是画精确零件的软件。第一次小测试就是叠放垫片的请求，因为模型卡用的就是这类简单的例子。

训练分两个阶段，先是监督调优，然后是 GRPO，它用 CAD 验证器当奖励，没有奖励模型，也没有语言模型裁判。模型卡给一次构建打分的方式，是把它的体积和包围盒与留出的目标对比，容差为 2%。模型卡说 GRPO 把悄悄做错变体的构建减了一半，从 10 次里 2 次降到 10 次里 1 次，并把正确的拒绝提高到 10 次里 9 次。

普通英语请求
模型先推理，再写程序
constraint-kit 求解配合
STEP 或 GLB 文件、零件清单、质量、图纸

注意事项：作者报告，在监督阶段的留出测试上，93% 的构建通过了几何验证，87% 做到了诚实的拒绝。在新的请求上，诚实构建的比例是 57%，而提示词驱动的前沿模型是 16%。训练总共花了约 35 美元。这些是作者自己在小样本上做的测试，请当作需要核实的信号。模型卡里画廊的图片来自 constraint-kit 的托管规划器，而不是这个模型。

Title: Honest builds on fresh requests, in percent
这个模型: 57
提示词驱动的前沿模型: 16

• License: Apache 2.0。
• Cost to run: 未提及，除了硬件。
• Data it reaches: 文件来自 Hugging Face，之后模型在你自己的电脑上运行。
• Not for: 超出范围的零件，比如螺旋锥齿轮，它应该拒绝。

Hugging Face 上的数据（2026年11月13日）

• 任务：text to 3d
• 框架：gguf
• 参数量：11.9B
• Weights: about 6 GB at 4-bit (estimate)
• Formats: Safetensors, GGUF
• 最近 30 天下载：524
• 点赞：9
• 许可证：apache-2.0
• 语言：en
• 基于：google/gemma-4-12B-it
• 标签：gguf, safetensors, text-to-cad, parametric-cad, b-rep, step, 3d, mechanical-engineering, engineering, gears, honest-refusal, grpo

链接

• 模型：https://huggingface.co/shib79/gemma-4-12b-constraintkit-GGUF
• 文件：https://huggingface.co/shib79/gemma-4-12b-constraintkit-GGUF/tree/main

获取模型

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

pip install -U huggingface_hub
hf download shib79/gemma-4-12b-constraintkit-GGUF

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