CoolFace
Modelpublic

delimitter/synoema-coder-3b-v3

sourceHugging Faceapache-2.0updated 5mo agoView on Hugging Face
0likes36downloads
Model Card

synoema-coder-3b-v3

Language 0.1.0-beta.1

General Synoema code generation from natural language prompts.

Trained on Synoema — a formally verified functional language (GBNF + Hindley-Milner + contracts, prompt to native/WASM/IoT with no human review).

Evaluation

MetricValue
run_pass70.2%
compile_pass67.3%
Eval set104 examples
Methodgreedy (do_sample=False)
Language version0.1.0-beta.1

Quickstart

bash
wget https://huggingface.co/delimitter/synoema-coder-3b-v3/resolve/main/synoema-coder-3b-v3-q4km.gguf
wget https://huggingface.co/delimitter/synoema-coder-3b-v3/resolve/main/Makefile
make pull
make run
make pull sets the system prompt automatically — required for correct behavior.
TargetAction
make pullCreate Ollama model + system prompt
make runInteractive chat
make cleanRemove from Ollama

Example prompts

Write a recursive fibonacci function
Define a map function for lists
Write quicksort with pattern matching
Create a function with requires/ensures contracts

Model details

FieldValue
Base modelQwen/Qwen2.5-Coder-3B-Instruct
Fine-tuningQLoRA SFT (LoRA r=32)
Size1.9 GB Q4KM
Language version0.1.0-beta.1

Links

GGUF Downloads (Ollama / llama.cpp)

FileSizeRecommended for
synoema-coder-3b-v3-Q4_K_M.gguf1.8 GBMost users (CPU/GPU)
synoema-coder-3b-v3-Q8_0.gguf3.1 GBHigh accuracy

Ollama Quickstart

bash
ollama run hf.co/delimitter/synoema-coder-3b-v3:Q4_K_M