Text Generation
GGUF
English
Portuguese
mark
mark-ai
stem
self-rag
reasoning
generalist
epistemic-search
ollama
conversational
Instructions to use miceworks/Mark-General-1.5B with libraries, inference providers, notebooks, and local apps. Follow these links to get started.
- Notebooks
- Google Colab
- Kaggle
- Local Apps Settings
- llama.cpp
How to use miceworks/Mark-General-1.5B with llama.cpp:
Install (macOS, Linux)
curl -LsSf https://llama.app/install.sh | sh # Start a local OpenAI-compatible server with a web UI: llama serve -hf miceworks/Mark-General-1.5B:IQ4_NL # Run inference directly in the terminal: llama cli -hf miceworks/Mark-General-1.5B:IQ4_NL
Install from WinGet (Windows)
winget install llama.cpp # Start a local OpenAI-compatible server with a web UI: llama serve -hf miceworks/Mark-General-1.5B:IQ4_NL # Run inference directly in the terminal: llama cli -hf miceworks/Mark-General-1.5B:IQ4_NL
Build from source code
git clone https://github.com/ggml-org/llama.cpp.git cd llama.cpp cmake -B build cmake --build build -j --target llama-app # Start a local OpenAI-compatible server with a web UI: ./build/bin/llama serve -hf miceworks/Mark-General-1.5B:IQ4_NL # Run inference directly in the terminal: ./build/bin/llama cli -hf miceworks/Mark-General-1.5B:IQ4_NL
Use Docker
docker model run hf.co/miceworks/Mark-General-1.5B:IQ4_NL
- Llama new
- LM Studio
- Jan
- vLLM
How to use miceworks/Mark-General-1.5B with vLLM:
Install from pip and serve model
# Install vLLM from pip: pip install vllm # Start the vLLM server: vllm serve "miceworks/Mark-General-1.5B" # Call the server using curl (OpenAI-compatible API): curl -X POST "http://localhost:8000/v1/chat/completions" \ -H "Content-Type: application/json" \ --data '{ "model": "miceworks/Mark-General-1.5B", "messages": [ { "role": "user", "content": "What is the capital of France?" } ] }'Use Docker
docker model run hf.co/miceworks/Mark-General-1.5B:IQ4_NL
- Ollama
How to use miceworks/Mark-General-1.5B with Ollama:
ollama run hf.co/miceworks/Mark-General-1.5B:IQ4_NL
- Unsloth Desktop
- Docker Model Runner
How to use miceworks/Mark-General-1.5B with Docker Model Runner:
docker model run hf.co/miceworks/Mark-General-1.5B:IQ4_NL
- Lemonade
How to use miceworks/Mark-General-1.5B with Lemonade:
Pull the model
# Download Lemonade from https://lemonade-server.ai/ lemonade pull miceworks/Mark-General-1.5B:IQ4_NL
Run and chat with the model
lemonade run user.Mark-General-1.5B-IQ4_NL
List all available models
lemonade list
- Atomic Chat
|
Download README.md from miceworks/Mark-General-1.5B: direct link, hf CLI and curl.
- Browser
- Download file 4.87 kB
-
https://huggingface.co/miceworks/Mark-General-1.5B/resolve/main/README.md
- Command line
-
hf download hf://miceworks/Mark-General-1.5B/README.md
-
curl -L -o README.md https://huggingface.co/miceworks/Mark-General-1.5B/resolve/main/README.md
4.87 kB
| language: | |
| - en | |
| - pt | |
| license: agpl-3.0 | |
| tags: | |
| - mark-ai | |
| - stem | |
| - self-rag | |
| - reasoning | |
| - generalist | |
| - epistemic-search | |
| - ollama | |
| - gguf | |
| pipeline_tag: text-generation | |
| # Mark General 1.5B | |
| Mark General 1.5B is a foundational generalist checkpoint trained on academic STEM, mathematical logic, and scientific curricula. It incorporates Multi-Head Latent Attention (MLA), a 16+1 Mixture-of-Experts (MoE) architecture, and native epistemic Self-RAG routing tokens (`[UNKNOWN]`, `[WEB_SEARCH]`). | |
| - **License:** GNU Affero General Public License v3.0 (AGPL-3.0) | |
| - **Parameters:** 1,501,680,656 physical | ~315,000,000 active FLOPs per token | |
| - **Architecture:** 14 layers, 16 query heads, MLA ($c_{KV}=320, q_{LoRA}=640$), 16 routed + 1 shared expert (top-2 active), MTP $k=2$ | |
| - **Target Footprint:** ~1.25 GB VRAM in 4-bit (IQ4_NL), ~128 tokens/second on consumer hardware | |
| --- | |
| ## Technical Overview & Focus Areas | |
| Mark General 1.5B was trained across a structured academic curriculum covering ten core STEM and technical reasoning fields: | |
| 1. **Quantum Mechanics & Condensed Matter Physics:** Hamiltonian formulations, boundary-value problems, bandgap calculations. | |
| 2. **Fluid Dynamics & Aerodynamics:** Compressible/incompressible Navier-Stokes approximations, drag coefficient analysis. | |
| 3. **Physical & Organic Chemistry:** Transition-state kinetics, reaction mechanisms, molecular orbital analysis. | |
| 4. **Clinical Pharmacology & Pharmacokinetics:** Two-compartment clearance, ADME kinetics, receptor-ligand dynamics. | |
| 5. **Pure Mathematics & Formal Logic:** Abstract algebra, manifold geometry, predicate calculus proofs. | |
| 6. **Distributed Systems & Consensus:** Formal invariants for Paxos, Raft, and Byzantine Fault Tolerance. | |
| 7. **Signal Processing & RF Engineering:** Continuous and discrete Fourier transforms, filter topologies, impedance matching. | |
| 8. **Quantitative Modeling & Economics:** Dynamic stochastic modeling, option pricing formulations. | |
| 9. **Legal & Licensing Engineering:** Intellectual property licensing semantics (AGPL, GPL, Apache) and contract invariants. | |
| 10. **Epistemic Calibration:** Recognition of unanswerable or contradictory premises. | |
| ### Epistemic Self-RAG Tokens | |
| - `[UNKNOWN]` (Token ID 14): Triggered when prompt queries are unanswerable, refer to non-existent entities, or contain internal factual contradictions. | |
| - `[WEB_SEARCH]` (Token ID 15): Triggered when queries require external temporal information or post-training cut-off data. | |
| --- | |
| ## Benchmark Results & Empirical Evaluation | |
| Evaluated against competitive models in the 1B to 2B parameter regime across standard reasoning and academic benchmarks. | |
| ### 1. Standard Reasoning & Knowledge Benchmarks | |
| | Benchmark (Metric) | Mark General 1.5B | Qwen 2.5 1.5B | Llama 3.2 1B | SmolLM2 1.7B | | |
| | :--- | :---: | :---: | :---: | :---: | | |
| | **MMLU (5-shot)** | **51.8%** | 56.2% | 44.6% | 42.5% | | |
| | **GSM8K (8-shot)** | **56.2%** | 59.8% | 44.4% | 46.1% | | |
| | **ARC-Challenge (25-shot)** | **52.4%** | 54.1% | 46.2% | 44.8% | | |
| | **SciQ (Direct)** | **88.6%** | 89.2% | 82.5% | 83.1% | | |
| | **STEM Subset (Physics/Math/Chem)** | **58.4%** | 53.1% | 41.0% | 43.8% | | |
| *Analysis:* Qwen 2.5 1.5B maintains a higher overall score on general knowledge (MMLU) and multi-step arithmetic (GSM8K). However, on specific undergraduate STEM subsets, Mark General 1.5B demonstrates solid domain competence, exceeding generalist baselines in formal sciences while remaining within a compact 1.5B footprint. | |
| ### 2. Epistemic Calibration & Hallucination Metrics | |
| Evaluated on an unanswerable questions test set (queries with false premises, non-existent references, or conflicting data): | |
| | Metric | Mark General 1.5B | Standard 1.5B Baseline (No Epistemic Tokens) | | |
| | :--- | :---: | :---: | | |
| | **Unanswerable Detection (`[UNKNOWN]`) Precision** | **84.6%** | N/A | | |
| | **Unanswerable Detection (`[UNKNOWN]`) Recall** | **79.2%** | N/A | | |
| | **False-Premise Hallucination Rate** | **9.4%** | 26.8% | | |
| | **Brier Calibration Score (Lower is better)** | **0.114** | 0.285 | | |
| *Analysis:* While the model cannot eliminate hallucinations entirely (9.4% error rate remains), the native `[UNKNOWN]` token provides a measurable reduction in fabricated citations and false confident completions compared to standard baseline decoding. | |
| --- | |
| ## Hardware Efficiency | |
| | Metric | Measurement (NVIDIA RTX 2060 Super 8GB) | | |
| | :--- | :--- | | |
| | **Weights Memory (IQ4_NL)** | 1.25 GB | | |
| | **KV Cache @ 8,192 Context** | 236 MB (MLA compression) | | |
| | **Total Memory @ 8k Context** | 1.49 GB | | |
| | **Throughput** | 128.5 tokens/second | | |
| --- | |
| ## Quickstart | |
| ### Ollama | |
| ```bash | |
| ollama run mark-general-1.5b:latest "Explain the Navier-Stokes continuity equation in cylindrical coordinates." | |
| ``` | |
| ### Hugging Face Hub (GGUF) | |
| ```bash | |
| huggingface-cli download miceworks/Mark-General-1.5B mark_general_1_5b_iq4_nl.gguf --local-dir ./weights | |
| ``` | |