Nanosaur2-670M
well9472 · 工具包
用一个 670M 参数的小型扩散模型,根据文字提示生成插画,在 ComfyUI 中运行。这是一个低预算的研究模型,适合想试用或训练自己 LoRA 的人。
FirstPrinciples 从 Qwen3.5-9B 微调出的 9B 物理、科学和数学推理模型。适合想要分步推导和第二意见,并希望在本地或离线使用的研究者。
Quark 是一款工具包,属于研究类,由 Mindket 上架。可免费获取。当前为第 1 版,最近更新于 。在本页下载,是一个装着它全部文件的 zip 压缩包。这些文件不会自己运行。
pip install -U huggingface_hub hf download FirstPrinciplesLabs/quark
Quark 是 FirstPrinciples 推出的 9B 推理模型,面向物理、科学和数学。它以 Qwen3.5-9B 为起点,在精心整理的物理、数学和编程数据上做了监督微调。作者还发布了适用于 llama.cpp 的 8-bit Q8_0 版本。
想要对物理、科学和数学问题得到分步推理的研究者和高年级学生。
| Industry | Who uses it | How they use it | Example |
|---|---|---|---|
| 物理研究 | 物理学家 | 处理推导和估算 | 一个结果的分步推导 |
| 数学 | 数学家 | 检查计算和证明 | 对一份解答的第二意见 |
| 科学实验室 | 研究团队 | 把敏感工作留在自己的机器上 | 对未发表数据的离线分析 |
| 教育 | 高年级学生 | 学习难题的推理过程 | 一道研究生水平的物理题 |
如果你需要通用聊天模型,可以跳过它。模型卡说,对重要的结果,要独立验证答案。
| Use case | Who | What they get back |
|---|---|---|
| 解决问题 | 研究者 | 带推理过程的推导、估算和计算 |
| 检查工作 | 研究者 | 对一个结果的第二意见 |
| 私密研究 | 实验室 | 在你机器上离线得到的回答 |
pip install -U huggingface_hub hf download FirstPrinciplesLabs/quark
在 Transformers 里加载模型,或在 llama.cpp 里加载 Q8_0 文件,然后问一个物理、科学或数学问题。模型卡说它的基准测试在思考模式下运行,输出最多 131,072 个词元。
hf download FirstPrinciplesLabs/quark
你贴上一段物理推导,请模型检查每一步。它会逐步梳理推理,指出不成立的一步,而重要的结果你要另外独立验证。
如果你是新手,先用一个你已经知道答案的问题,读它写出的推理过程。把它的输出当作需要检查的草稿。
如果你懂这个领域,模型卡报告 bf16 权重的 GPQA Diamond 为 87.4,而 Qwen3.5-9B 是 81.6。它说 Q8_0 在列出的每个基准上都与 bf16 持平。它还说 Quark 位于纯文本 Humanity's Last Exam 的规模对得分前沿上。
FirstPrinciples 从 Qwen3.5-9B 微调出的 9B 物理、科学和数学推理模型。适合想要分步推导和第二意见,并希望在本地或离线使用的研究者。
由 FirstPrinciplesLabs 在 Hugging Face 上制作。这些说明是 Mindket 根据它的模型页面和模型卡写的,模型自己的文件和许可证在 Hugging Face 上。
它是什么:Quark 是 FirstPrinciples 推出的 9B 推理模型,面向物理、科学和数学。它以 Qwen3.5-9B 为起点,在精心整理的物理、数学和编程数据上做了监督微调。作者还发布了适用于 llama.cpp 的 8-bit Q8_0 版本。
适合谁:想要对物理、科学和数学问题得到分步推理的研究者和高年级学生。
Industry | Who uses it | How they use it | Example
物理研究 | 物理学家 | 处理推导和估算 | 一个结果的分步推导
数学 | 数学家 | 检查计算和证明 | 对一份解答的第二意见
科学实验室 | 研究团队 | 把敏感工作留在自己的机器上 | 对未发表数据的离线分析
教育 | 高年级学生 | 学习难题的推理过程 | 一道研究生水平的物理题
如果你需要通用聊天模型,可以跳过它。模型卡说,对重要的结果,要独立验证答案。
用在哪里:
Use case | Who | What they get back
解决问题 | 研究者 | 带推理过程的推导、估算和计算
检查工作 | 研究者 | 对一个结果的第二意见
私密研究 | 实验室 | 在你机器上离线得到的回答
如何设置:
pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark
如何使用:在 Transformers 里加载模型,或在 llama.cpp 里加载 Q8_0 文件,然后问一个物理、科学或数学问题。模型卡说它的基准测试在思考模式下运行,输出最多 131,072 个词元。
hf download FirstPrinciplesLabs/quark
示例:你贴上一段物理推导,请模型检查每一步。它会逐步梳理推理,指出不成立的一步,而重要的结果你要另外独立验证。
新手与专家:如果你是新手,先用一个你已经知道答案的问题,读它写出的推理过程。把它的输出当作需要检查的草稿。
如果你懂这个领域,模型卡报告 bf16 权重的 GPQA Diamond 为 87.4,而 Qwen3.5-9B 是 81.6。它说 Q8_0 在列出的每个基准上都与 bf16 持平。它还说 Quark 位于纯文本 Humanity's Last Exam 的规模对得分前沿上。
Qwen3.5-9B 基础模型
在物理、数学和代码上做监督微调
bf16 的 Quark
用于 llama.cpp 的 Q8_0 版本
Title: GPQA Diamond 准确率,百分比
Qwen3.5-9B: 81.6 %
Quark bf16: 87.4 %
Quark Q8_0: 87.8 %
注意事项:
用 Hugging Face 的命令行下载它的文件:
pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark
然后按它的模型卡使用它。这个工具包里没有会自己运行的东西。
README.md 5 KB
同一分类里与本产品共有标签最多的已上架 Hugging Face 模型。
| 产品 | 最近 30 天下载 | 点赞 | 参数量 | 许可证 | 最近更新 |
|---|---|---|---|---|---|
| Quark 本页 | 107 | 7 | 9.7B | apache-2.0 | |
| Rostam-S1-4B共有 math · physics · reasoning | 2,751 | 5 | 4.1B | apache-2.0 | |
| Qwen3.5-9B Brainwaves DeepThought STEM OneJev1.6共有 qwen3.5 · reasoning · qwen3_5 | 57 | 5 | 9.4B | 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 | |
| Qwen3.5-0.8B-weight-space-programming共有 qwen3_5 · image-text-to-text · conversational | 4,374 | 137 | 873M | apache-2.0 |
Hacker News、Bluesky、X、Reddit、Facebook 和 YouTube 上提到这个项目的帖子和评论,来自每周一次的搜索和 Trendshift。它们不是 Mindket 写的,也未经核实,点开即可在原帖处阅读。
well9472 · 工具包
用一个 670M 参数的小型扩散模型,根据文字提示生成插画,在 ComfyUI 中运行。这是一个低预算的研究模型,适合想试用或训练自己 LoRA 的人。
Waqf-AI · 工具包
读取图片中的阿拉伯语手写文字并以文本形式返回。这是微调过的 PaddleOCR-VL 模型,适合要把阿拉伯语手写内容数字化的人。
Wan-AI · 工具包
根据文本提示或图像加文字生成视频片段,最高 720P、每秒 24 帧,Diffusers 格式,适合单块消费级 GPU。
udiboy1209 · 工具包
用一个小型神经反编译器从编译后的二进制代码中还原数学公式,并提供论文里的数据集和训练好的模型。适合逆向工程师和研究者。
udgamlabs · 工具包
把文字提示,或文字加首帧图片,变成 2 秒、256×256 的视频片段,使用 212M 参数的生成器。这是一个小型研究版本,最擅长海浪、火焰和下雪的天空。
Tsuboyama-Lab · 工具包
预测一条蛋白质序列在大肠杆菌里能以单体形式表达多少,单位为 log10 mg/L。提供 ESMC-6B 和 SaProt 的已训练 LoRA 适配器和回归头,面向蛋白质研究人员。