Mindket

Quark

Newversion 1 · updated

Overview

A 9B reasoning model for physics, science and maths, fine-tuned from Qwen3.5-9B by FirstPrinciples. For researchers who want step-by-step derivations and a second opinion, locally or offline.

Quark is a kit in the Research category, listed by Mindket. It is free. This is version 1, last updated on . Download it on this page, a zip of its files. Nothing in it runs by itself.

At a glance

You need
  • Python and pip on your computer
  • About 19.3 GB of space for the BF16 weights, or about 4.8 GB at 4-bit by estimate
  • Transformers, or llama.cpp for the Q8_0 version
Runs in
  • Hugging Face Transformers, through the Safetensors weights
  • llama.cpp, through the Q8_0 version, which the card says runs on a 16 GB Mac
  • Theo Platform, a hosted research platform the maker runs
  • Windows, macOS or Linux, with Python for the download step
Start with
pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark

Platform

WindowsOperating system
macOSOperating system
LinuxOperating system

About

What it is

Quark is a 9B reasoning model from FirstPrinciples for physics, science and maths. It starts from Qwen3.5-9B and adds supervised fine-tuning on a curated mix of physics, maths and coding data. The maker also publishes an 8-bit Q8_0 version for llama.cpp.

Who it suits

Researchers and advanced students who want step-by-step reasoning on physics, science and maths questions.

IndustryWho uses itHow they use itExample
Physics researchPhysicistsWork through derivations and estimatesA step-by-step derivation of a result
MathematicsMathematiciansCheck calculations and proofsA second opinion on a worked solution
Science labsResearch teamsKeep sensitive work on their own machineOffline analysis of unpublished data
EducationAdvanced studentsStudy worked reasoning on hard problemsA graduate-level physics question

You can skip it if you need a general chat model. For results that matter, the card says to verify the answer independently.

Where to use it

  • Hugging Face Transformers, through the Safetensors weights
  • llama.cpp, through the Q8_0 version, which the card says runs on a 16 GB Mac
  • Theo Platform, a hosted research platform the maker runs
  • Windows, macOS or Linux, with Python for the download step
Use caseWhoWhat they get back
Solving problemsResearchersDerivations, estimates and calculations with reasoning
Checking workResearchersA second opinion on a result
Private researchLabsAnswers produced offline on your machine

How to set it up

  • Python and pip on your computer
  • About 19.3 GB of space for the BF16 weights, or about 4.8 GB at 4-bit by estimate
  • Transformers, or llama.cpp for the Q8_0 version
  1. Install the Hugging Face hub package.
  2. Download the model files with the hf command.
  3. Follow the usage section of the model card to run it.
pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark

How to use it

Load the model in Transformers, or the Q8_0 file in llama.cpp, and ask a physics, science or maths question. The card says its benchmarks ran in thinking mode, with output up to 131,072 tokens.

hf download FirstPrinciplesLabs/quark

Example

You paste a physics derivation and ask the model to check each step. It walks through the reasoning and flags a step that does not follow, and you verify any result that matters separately.

For newcomers and experts

If you are new, start with a problem whose answer you already know and read the reasoning it writes. Treat its output as a draft to check.

If you know the field, the card reports GPQA Diamond of 87.4 for the bf16 weights, against 81.6 for Qwen3.5-9B. It says Q8_0 matches bf16 on every benchmark listed. It also says Quark sits on the size-versus-score frontier for text-only Humanity's Last Exam.

  1. Qwen3.5-9B base model
  2. Supervised fine-tuning on physics, maths and code
  3. Quark in bf16
  4. Q8_0 version for llama.cpp
GPQA Diamond accuracy in percent
Qwen3.5-9B81.6%
Quark bf1687.4%
Quark Q8_087.8%

Good to know

  • License: Apache 2.0
  • Cost to run: your own hardware, while Theo Platform needs a sign-up whose price the card does not give
  • Data it reaches: the files you download, and your questions if you use the hosted platform
  • Not for: results that matter without independent checking
  • Language: English only on the record

README and files

README

Quark

A 9B reasoning model for physics, science and maths, fine-tuned from Qwen3.5-9B by FirstPrinciples. For researchers who want step-by-step derivations and a second opinion, locally or offline.

Made by FirstPrinciplesLabs on Hugging Face. These notes are Mindket's, written from its model page and model card; the model's own files and license are on Hugging Face.

About

What it is: Quark is a 9B reasoning model from FirstPrinciples for physics, science and maths. It starts from Qwen3.5-9B and adds supervised fine-tuning on a curated mix of physics, maths and coding data. The maker also publishes an 8-bit Q8_0 version for llama.cpp.

Who it suits: Researchers and advanced students who want step-by-step reasoning on physics, science and maths questions.

Industry | Who uses it | How they use it | Example
Physics research | Physicists | Work through derivations and estimates | A step-by-step derivation of a result
Mathematics | Mathematicians | Check calculations and proofs | A second opinion on a worked solution
Science labs | Research teams | Keep sensitive work on their own machine | Offline analysis of unpublished data
Education | Advanced students | Study worked reasoning on hard problems | A graduate-level physics question

You can skip it if you need a general chat model. For results that matter, the card says to verify the answer independently.

Where to use it:

  • Hugging Face Transformers, through the Safetensors weights
  • llama.cpp, through the Q8_0 version, which the card says runs on a 16 GB Mac
  • Theo Platform, a hosted research platform the maker runs
  • Windows, macOS or Linux, with Python for the download step
Use case | Who | What they get back
Solving problems | Researchers | Derivations, estimates and calculations with reasoning
Checking work | Researchers | A second opinion on a result
Private research | Labs | Answers produced offline on your machine

How to set it up:

  • Python and pip on your computer
  • About 19.3 GB of space for the BF16 weights, or about 4.8 GB at 4-bit by estimate
  • Transformers, or llama.cpp for the Q8_0 version
  1. Install the Hugging Face hub package.
  2. Download the model files with the hf command.
  3. Follow the usage section of the model card to run it.
pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark

How to use it: Load the model in Transformers, or the Q8_0 file in llama.cpp, and ask a physics, science or maths question. The card says its benchmarks ran in thinking mode, with output up to 131,072 tokens.

hf download FirstPrinciplesLabs/quark

Example: You paste a physics derivation and ask the model to check each step. It walks through the reasoning and flags a step that does not follow, and you verify any result that matters separately.

For newcomers and experts: If you are new, start with a problem whose answer you already know and read the reasoning it writes. Treat its output as a draft to check.

If you know the field, the card reports GPQA Diamond of 87.4 for the bf16 weights, against 81.6 for Qwen3.5-9B. It says Q8_0 matches bf16 on every benchmark listed. It also says Quark sits on the size-versus-score frontier for text-only Humanity's Last Exam.

Qwen3.5-9B base model
Supervised fine-tuning on physics, maths and code
Quark in bf16
Q8_0 version for llama.cpp
Title: GPQA Diamond accuracy in percent
Qwen3.5-9B: 81.6%
Quark bf16: 87.4%
Quark Q8_0: 87.8%

Good to know:

  • License: Apache 2.0
  • Cost to run: your own hardware, while Theo Platform needs a sign-up whose price the card does not give
  • Data it reaches: the files you download, and your questions if you use the hosted platform
  • Not for: results that matter without independent checking
  • Language: English only on the record

On Hugging Face, 13 November 2026

  • Task: image text to text
  • Library: transformers
  • Parameters: 9.7B
  • Weights: about 19.3 GB in BF16; about 4.8 GB at 4-bit (estimate)
  • Formats: Safetensors
  • Downloads in the last 30 days: 107
  • Likes: 7
  • License: apache-2.0
  • Languages: en
  • Based on: Qwen/Qwen3.5-9B
  • Quantized versions: 1
  • Tags: transformers, safetensors, qwen3_5, image-text-to-text, physics, science, reasoning, math, qwen3.5, conversational

Links

Get the model

Download its files with Hugging Face's command line:

pip install -U huggingface_hub
hf download FirstPrinciplesLabs/quark

Then follow the usage in its model card. Nothing in this kit runs by itself.

Files
README.md  5 KB

1 file, 5 KB, downloaded as a zip.

What’s new

  • Version 1 · 2026-11-12

Compare with similar

Listed Hugging Face models in the same category that share the most tags with this one.

ProductDownloads, last 30 daysLikesParametersLicenseLast change
Quark This page10779.7Bapache-2.0
Rostam-S1-4BShares math · physics · reasoning2,75154.1Bapache-2.0
Qwen3.5-9B Brainwaves DeepThought STEM OneJev1.6Shares qwen3.5 · reasoning · qwen3_55759.4Bapache-2.0
Qwen-Image-BenchShares qwen3_5 · image-text-to-text · conversational20,87511627.4Bapache-2.0
NV-Reason-CTShares qwen3_5 · image-text-to-text · conversational5,524945.3Bopenmdw-1.1
Qwen3.5-0.8B-weight-space-programmingShares qwen3_5 · image-text-to-text · conversational4,374137873Mapache-2.0
Numbers as Mindket last read them, from 2026-11-12 to 2026-11-13.

Reviews

No ratings yet

Write a review

No reviews yet.

What people say

Posts and comments that name this project on Hacker News, Bluesky, X, Reddit, Facebook and YouTube, found by a weekly search and on Trendshift. Mindket doesn’t write or check them. Open one to read it where it was posted.

Searched

More from Mindket

See all from Mindket

anaksor-ocr

Sokheng · Kit

Reads Khmer and English text from documents, receipts and photos of signs, using a detector for text lines and a recogniser for each line. Suits developers who…

New

Qwen2.5-7B-Instruct as GGUF files in eight quantization sizes, to chat with locally through llama.cpp. For people who want a capable 7.6B model on their own co…

New

ACE-Step 1.5 XL SFT

ACE-Step · Kit

Generates music from text with a 4B diffusion decoder, 50 steps and guidance control, aiming for higher audio quality than the base. For creators with a GPU of…

New

Similar in Research

See all in Research

Merlin-Cancer-Super

AbdomenAtlas · Kit

Detects and outlines tumors in 9 organs on CT scans, trained with the R-Super method that learns from radiology reports. A research model for medical imaging g…

New

EarthJev

dBenf · Kit

Answers typed questions about satellite image patches from all 12 Sentinel-2 bands, returning a probability for each option without writing text. A Qwen3.5-0.8…

New

getting-over-it-rl-jax

zimmerk4 · Kit

Plays the full game Getting Over It from the bottom to the end with a small trained policy network that learned inside a JAX physics simulator. For reinforceme…

New